| .. |
|
Basics.agda
|
b82ed20258
minor changes in Hello Agda examples
|
17 年之前 |
|
Bool.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 年之前 |
|
Datatypes.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 年之前 |
|
Everything.agda
|
42de2434c5
fixed issue 262 (qualified imported constructors) and some improvements on issue 260
|
14 年之前 |
|
Families.agda
|
42de2434c5
fixed issue 262 (qualified imported constructors) and some improvements on issue 260
|
14 年之前 |
|
Modules.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 年之前 |
|
Naturals.agda
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 年之前 |
|
Records.agda
|
42de2434c5
fixed issue 262 (qualified imported constructors) and some improvements on issue 260
|
14 年之前 |
|
With.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 年之前 |
|
outline
|
619cefd54a
AIM6 talk: Hello Agda
|
17 年之前 |
Nils Anders Danielsson
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.