<@U0BAF68H2>: About laziness being a requirement f...
# language-proposals
c
@alex.hart: About laziness being a requirement for pure FP, ML and Idris would beg to differ