Stream: general

Topic: Linearity and Erasure in Idris 2


gnzlbg (Jan 10 2020 at 16:20, on Zulip):

Not rust related, but was a nice read: https://www.type-driven.org.uk/edwinb/linearity-and-erasure-in-idris-2.html

Last update: Jan 21 2020 at 08:25UTC