Fixed statistics; see #233
This commit is contained in:
parent
62d742a549
commit
545e2f8651
2 changed files with 1 additions and 1 deletions
BIN
hs/agda-count
BIN
hs/agda-count
Binary file not shown.
|
@ -8,8 +8,8 @@ Isomorphism
|
||||||
Connectives
|
Connectives
|
||||||
Negation
|
Negation
|
||||||
Quantifiers
|
Quantifiers
|
||||||
Lists
|
|
||||||
Decidable
|
Decidable
|
||||||
|
Lists
|
||||||
--
|
--
|
||||||
Lambda
|
Lambda
|
||||||
Properties
|
Properties
|
||||||
|
|
Loading…
Reference in a new issue