3 ms·
How can one automatically translate any Haskell containing unbounded recursion into Coq?
by dmytrish 9y ago
How can one automatically translate any Haskell containing unbounded recursion into Coq?
- tome 9y agoSome sort of partiality monad, I presume.