Trampolining Nix with GenericClosure (blog.kleisli.io)

16 points by ret2pop 6mo ago ↗ HN

1 comment

[ 3.3 ms ] story [ 13.5 ms ] thread

ret2pop 6mo ago ↗

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