| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | intersection types. | David Thompson | 2023-06-08 | 1 | -6/+37 |
| | | |||||
| * | call-with-values | David Thompson | 2023-06-08 | 1 | -11/+30 |
| | | |||||
| * | Type quantifiers!!!! | David Thompson | 2023-06-08 | 1 | -95/+188 |
| | | |||||
| * | Fix begin/let. | David Thompson | 2023-06-08 | 1 | -7/+9 |
| | | |||||
| * | Add begin form. | David Thompson | 2023-06-08 | 1 | -0/+12 |
| | | |||||
| * | Add let and values forms. | David Thompson | 2023-06-08 | 1 | -0/+37 |
| | | |||||
| * | Add basis for multiple return values. | David Thompson | 2023-06-08 | 1 | -154/+124 |
| | | |||||
| * | First draft of a new attempt at inference. | David Thompson | 2023-06-08 | 1 | -0/+402 |
 |
index : chickadee | |
| Chickadee Game Toolkit | Gitolite user |
| summaryrefslogtreecommitdiff |
path: root/infer2.scm