| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2275 | Kartik K. Agaram | 2015-10-25 | 1 | -0/+1 |
| | | |||||
| * | 2274 | Kartik K. Agaram | 2015-10-25 | 1 | -0/+7 |
| | | |||||
| * | 2273 - start expanding the type system | Kartik K. Agaram | 2015-10-25 | 1 | -0/+113 |
| Current plan: parsing {x: foo, y: bar} syntax for reagents parsing s-expr syntax for properties supporting reverse instructions (<-) parsing s-expr syntax for recipe headers (recipe number number -> number) static dispatch generic functions type-checking higher-order functions type of delimited continuations? need more type information First step is done, and the second partially so. | |||||