Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. | 10 роки тому | |
---|---|---|
.. | ||
Chain.agda | 16 роки тому | |
Lattice.agda | 10 роки тому | |
PartialOrder.agda | 10 роки тому | |
Prelude.agda | 16 роки тому | |
SemiLattice.agda | 10 роки тому |