4 ms·
Djinn: "I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists." ("cabal install djinn" works to ins
by dbaupp 14y ago
Djinn: "I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists."
("cabal install djinn" works to install it.)
http://lambda-the-ultimate.org/node/1178 http://lambda-the-ultimate.org/node/1178
- gtani 14y agoThx, I was looking for a ref: http://www.polyomino.f2s.com/david/haskell/programsfromproofs.html http://www.polyomino.f2s.com/david/haskell/programsfromproof...