labeled 0.1.0

Dynamic information-flow-control labels
Documentation 
1
2
3
4
5
6
7

{ pkgs ? import <nixpkgs> {} }:

with pkgs;

mkShell {
  buildInputs = [ cargo rustc rustfmt rust-analyzer ];
}