Re:Basics of Haskell – Code and exercises
by agumonkey on Monday July 27, 2020 @01:08PM
(#23967077)
proofs to me, are 'typed' steps. you explicitely state the domains
[ Parent
| on HN ]
There are no comments on this comment yet.