|
bool.scrbl
|
More documentation fixes
|
2015-11-10 16:16:33 -05:00 |
|
maybe.scrbl
|
More documentation
|
2015-11-10 18:24:38 -05:00 |
|
nat.scrbl
|
Documented new nat functions
|
2016-01-09 04:24:25 -05:00 |
|
sugar.scrbl
|
Added match documentation
|
2016-01-09 04:23:43 -05:00 |
|
tactics.scrbl
|
More documentation fixes
|
2015-11-10 16:16:33 -05:00 |
|
typeclass.scrbl
|
More documentation
|
2015-11-10 18:24:38 -05:00 |
