Heya @edwinbrady@twitter.com! If I wanted thread spawning and read-once, write-once memory cells in Idris2, where am I on a scale of "it's already there" to "lol nope"?
I have since found System.Concurrency.Raw and Data.Ref so I'm gonna try and build something higher-level on top of this!🎉
