Trampolining Nix with GenericClosure (blog.kleisli.io)

16 points by ret2pop 8mo ago ↗ HN

1 comment

[ 1.4 ms ] story [ 15.4 ms ] thread

ret2pop 8mo ago ↗

A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nix