| .. |
|
Homogenous
|
06a20b7169
[ cleaning ] Removed .cvsignore files.
|
9 lat temu |
|
EqBase.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 lat temu |
|
Main.agda
|
689c6aaa09
Moved away or fixed many broken example files.
|
16 lat temu |
|
PolyDepPrelude.agda
|
f06402b73b
disabled Prop
|
14 lat temu |
|
Reflexivity.agda
|
7386e71806
PolyDep Reflexivity to Agda2
|
17 lat temu |
|
TYPE.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 lat temu |
|
Tools.agda
|
c0d311cdac
PolyDep Tools updated towards Agda2
|
17 lat temu |
|
log.txt
|
442e3e69b1
PolyDep Homogenous updated to Agda2
|
17 lat temu |
Andrés Sicard-Ramírez
06a20b7169
[ cleaning ] Removed .cvsignore files.