Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd_patch
Rami (Branch) Tag
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 anni fa
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. 15 anni fa
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type 13 anni fa