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.
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.