Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

this is pretty cool - using linearity in idris to implement efficient state monad-style mutable variables in pure code. https://github.com/stefan-hoeck/idris2-ref1