git.iko.soy/Idris-dev
on 23df314 help sign in
Idris-dev/libs
6 folders, 1 file
../ base/Generalize the types of mkApp and unApply contrib/Add conversion CPtr to Ptr effects/Prove dropEnv is total oldeffects/Change library and expected test results for Float -> Double change prelude/Add conversion CPtr to Ptr pruviloj/Generalize the types of mkApp and unApply MakefileLibrary of tactics for proof automation with Elab