|
|
a18c30dca8
|
Update example to include polymorphism
|
2020-04-14 15:58:13 -07:00 |
|
|
|
50326ffcc3
|
Adjust grammar to allow for broader range of type inputs.
|
2020-04-13 23:17:34 -07:00 |
|
|
|
207efc7ded
|
Make substitution replace types at every lookup step
|
2020-04-13 17:59:57 -07:00 |
|
|
|
2a936927a1
|
Integrate new types into the rest of the project
|
2020-04-13 17:12:43 -07:00 |
|
|
|
379a64f379
|
Add parsed type data structure, type application and arity.
|
2020-04-13 17:08:03 -07:00 |
|
|
|
682e0d3e1c
|
Fork off code for part 11 of compiler series.
|
2020-04-09 23:48:53 -07:00 |
|
