News for hackers. Stuff that matters.

A comment on Idris 1.0. Parent comment

Re:Idris 1.0 by laszlokorte on Saturday April 01, 2017 @01:33PM (#14013138)
strict is same as eager and non-strict is same as lazy

https://wiki.haskell.org/Lazy_vs._non-strict

[ Parent | on HN ]

There are no comments on this comment yet.