git.iko.soy/Idris-dev
on a2a5141 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Allow interleaving of explicit and implicit arguments in top level types Idris/Allow interleaving of explicit and implicit arguments in top level types Main.hsAdded constants and some primitive operations