|
bool.rkt
|
Dynamic semantics for elim
|
2015-03-27 21:16:20 -04:00 |
|
maybe.rkt
|
Dynamic semantics for elim
|
2015-03-27 21:16:20 -04:00 |
|
nat.rkt
|
Ahhh fucking substitution
|
2015-03-27 21:49:03 -04:00 |
|
prop.rkt
|
Ahhh fucking substitution
|
2015-03-27 21:49:03 -04:00 |
|
sugar.rkt
|
Dynamic semantics for elim
|
2015-03-27 21:16:20 -04:00 |
