News for hackers. Stuff that matters.
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

There are no comments on this comment yet.