git.iko.soy/Idris-dev
on 5259edc help sign in
Idris-dev/libs
6 folders, 1 file
../ base/New rules for name visibility contrib/New rules for name visibility effects/New rules for name visibility oldeffects/Change library and expected test results for Float -> Double change prelude/New rules for name visibility pruviloj/Change export qualifier keywords MakefileLibrary of tactics for proof automation with Elab