alternative flake.nix

v0.2.2

alternative flake.nix

with flake.lock

v0.2.1

add flake.lock

point load to hilbert

v0.2

ports for kleene

https get to google

• including a flake.nix that uses opam-nix to create a nix module that bundles in the necessary opam dependencies.