git.iko.soy/Idris-dev
on fbcd643 help sign in
Idris-dev/test/interactive002
4 files
../ expectedImprove inference in monadic code inputImprove inference in monadic code interactive002.idrImprove inference in monadic code runMore consistency checking on inference constraints