2 ms·

Thx, I was looking for a ref: http://www.polyomino.f2s.com/david/haskell/programsfromproofs.html http://www.polyomino.f2s.com/david/haskell/programsfromproof..

by gtani 14y ago

Thx, I was looking for a ref: http://www.polyomino.f2s.com/david/haskell/programsfromproofs.html http://www.polyomino.f2s.com/david/haskell/programsfromproof...