| .. |
|
AC.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 lat temu |
|
Bool.agda
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
18 lat temu |
|
EqProof.agda
|
fe37a8290b
[ Operator parser ] Fixed a long-standing operator fixity bug.
|
9 lat temu |
|
Fin.agda
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 lat temu |
|
List.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 lat temu |
|
Logic.agda
|
ea4930ab12
ac rewriting (internal) tactic
|
18 lat temu |
|
Nat.agda
|
ea4930ab12
ac rewriting (internal) tactic
|
18 lat temu |
|
Vec.agda
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 lat temu |
Nils Anders Danielsson
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.