git.iko.soy/Idris-dev
on 40481dc help sign in
Idris-dev/test/effects005
4 files
../ defaultlog.idrRewrote Default Logger and Simple Logger expectedRewrote Default Logger and Simple Logger runFixes to Logging effect simplelog.idrRewrote Default Logger and Simple Logger