git.iko.soy/Idris-dev
on 416251f help sign in
Idris-dev/src
3 folders, 1 file
../ IRTS/Refactoring: Move options out of AbsSyntax Idris/Fixes #1211 : checking default impl in interfaces through parent constraints recursively Util/Add function for strictly reading source .ghci