Mastodon Feed: Post

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

mutable maps in idris outside of IO? don't mind if i do. didn't take long to bind what i need.