Paul Chiusano
|
ce73bab33d
|
subtype function now compiling, removed use of DataKinds
|
2013-09-27 16:29:01 -04:00 |
|
Paul Chiusano
|
581a9b3aa7
|
added extra param to Forall actor, just need to get Context compiling
|
2013-09-27 00:24:51 -04:00 |
|
Paul Chiusano
|
a88fa4a621
|
working on subtyping operation
|
2013-09-26 19:56:13 -04:00 |
|
Paul Chiusano
|
365617774a
|
Added fresh variable supply to context, minor notes
|
2013-09-22 12:34:32 -04:00 |
|
Paul Chiusano
|
c568357355
|
Context substitution
|
2013-09-22 00:13:40 -04:00 |
|
Paul Chiusano
|
e86a528d7f
|
wellformed context check
|
2013-09-21 23:08:26 -04:00 |
|
Paul Chiusano
|
b4486ac6ce
|
Algorithmic context well formedness
|
2013-09-21 22:15:49 -04:00 |
|
Paul Chiusano
|
1de38e9f2e
|
Context elements, and some refactoring of variable references
|
2013-09-21 14:43:17 -04:00 |
|
Paul Chiusano
|
1ce1a0f6e3
|
Type syntax
|
2013-09-20 23:37:34 -04:00 |
|
Paul Chiusano
|
17cd797c66
|
Added helper function for creating single argument Lam and Examples module
|
2013-09-20 20:16:14 -04:00 |
|
Paul Chiusano
|
c5b9c4b5c3
|
Added project structure and Syntax.Term
|
2013-09-20 19:31:34 -04:00 |
|
pchiusano
|
2cb2e73962
|
Initial commit
|
2013-09-19 13:44:05 -07:00 |
|