git.iko.soy/Idris-dev
on 895e66f help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Allow type labels on lambdas Idris/Type class resolution when there is inheritance Main.hs:e now reloads the edited file