type-fn 0.2.0

Allows for simpler coding of type-level logic, e.g. for type-number systems.
Documentation
1
2
3
4
5
6
7
8
9
{ pkgs ? import <nixpkgs> {} }:
pkgs.mkShell {
  nativeBuildInputs = with pkgs; [
    cargo
    helix
    rust-analyzer
    cargo-watch
  ];
}