git.iko.soy/Idris-dev
on d7b7e25 help sign in
Idris-dev/libs
6 folders, 1 file
../ base/Add Data.Nat.Views to base contrib/Move Accessible to Prelude effects/Replace EffElem with Data.List.Elem oldeffects/Change library and expected test results for Float -> Double change prelude/Add Data.Nat.Views to base pruviloj/Generalize the types of mkApp and unApply MakefileLibrary of tactics for proof automation with Elab