rhiannon morris
|
a0f0d7ce7f
|
scheme output
|
2023-10-24 23:52:19 +02:00 |
rhiannon morris
|
0d2e0c70de
|
more erasure
|
2023-10-24 23:50:28 +02:00 |
rhiannon morris
|
3dc516e5b4
|
wip
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
8d7326917a
|
more erasure
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
49bc1d5b02
|
some of this EffExtra stuff doesn't work
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
5977b7225b
|
new main
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
5a0aed3ae2
|
erasure refactor
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
3ebfc08b64
|
improve handling of context lengths
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
526aa1b3a2
|
erasure to untyped syntax
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
50f28d3824
|
add locations and substitutions to untyped syntax
|
2023-10-22 19:18:38 +02:00 |
rhiannon morris
|
b8a46175e1
|
untyped λ calculus syntax
|
2023-10-22 19:18:38 +02:00 |