Trampolining Nix with GenericClosure (blog.kleisli.io)

16 points by ret2pop 4mo ago ↗ HN

1 comment

[ 4.9 ms ] story [ 9.4 ms ] thread

ret2pop 4mo ago ↗

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