git.iko.soy/Idris-dev
on abfb3dd help sign in
Idris-dev/test/meta002
6 files
../ AgdaStyleReflection.idrGeneralize the types of mkApp and unApply DataDef.idrAdd the ability to define datatypes in Elab Deriving.idrChange "class/instance" keywords Tacs.idrRenamed `DepPair` to DPair expectedGeneralize the types of mkApp and unApply runAdd the ability to define datatypes in Elab