Leonardo de Moura
|
898a08a0c1
|
chore: avoid Has prefix in type classes
closes #203
|
2020-10-27 18:29:19 -07:00 |
|
Leonardo de Moura
|
b083b6b655
|
test(tests/playground/lowtech_expander): remove dead code
|
2019-04-01 15:45:13 -07:00 |
|
Leonardo de Moura
|
d73d262aa1
|
test(tests/playground/lowtech_expander): letTransformer skeleton
|
2019-04-01 15:08:34 -07:00 |
|
Leonardo de Moura
|
b75706ffff
|
test(tests/playground/lowtech_expander): add support for fixing SyntaxNodeKinds when reading Syntax objects from .olean
|
2019-04-01 12:35:28 -07:00 |
|
Leonardo de Moura
|
8004fcf2f1
|
test(tests/playground/lowtech_expander): use Nat to identify SyntaxNodeKinds
|
2019-04-01 12:17:06 -07:00 |
|
Leonardo de Moura
|
76b054bc1d
|
test(tests/playground/lowtech_expander): expander experiment
|
2019-04-01 10:55:41 -07:00 |
|