git.iko.soy/Idris-dev
on 4162113 help sign in
Idris-dev/test/st002
4 files
../ expectedFirst attempt at implementing ST alternative for File.idr in Effects. runFirst attempt at implementing ST alternative for File.idr in Effects. test002.idrFirst attempt at implementing ST alternative for File.idr in Effects. testFileFirst attempt at implementing ST alternative for File.idr in Effects.