a monad transformer to add mutable variables via managed use of unsafePerformIO
Primary LanguageIdris
No one’s star this repository yet.