4 ms·
Coq. Mathematical proof it works then generates the Haskell. Not exactly a rapid application development tool though.
by bbcbasic 10y ago
Coq. Mathematical proof it works then generates the Haskell.
Not exactly a rapid application development tool though.