|
tactics
|
Fixed order in which tactic scripts are printed
|
2015-09-13 18:57:01 -04:00 |
|
bool.rkt
|
Proper names and inductive families
|
2015-04-14 19:16:47 -04:00 |
|
maybe.rkt
|
Proper names and inductive families
|
2015-04-14 19:16:47 -04:00 |
|
nat.rkt
|
Proper names and inductive families
|
2015-04-14 19:16:47 -04:00 |
|
prop.rkt
|
Proper names and inductive families
|
2015-04-14 19:16:47 -04:00 |
|
sugar.rkt
|
Proper names and inductive families
|
2015-04-14 19:16:47 -04:00 |
|
typeclass.rkt
|
Type classes are easy
|
2015-09-09 17:54:44 -04:00 |
