Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. | 10 tahun lalu | |
---|---|---|
.. | ||
Chain.agda | 16 tahun lalu | |
Lattice.agda | 10 tahun lalu | |
PartialOrder.agda | 10 tahun lalu | |
Prelude.agda | 16 tahun lalu | |
SemiLattice.agda | 10 tahun lalu |