git.iko.soy/Idris-dev
on d77513b help sign in
Idris-dev/src
3 folders, 1 file
../ IRTS/Replace '-' with '_' in LHS of Node requires Idris/Insert mutual in "using implementation" blocks Util/Remove the empty property 'copyright'. .ghci