Sebastian Ullrich
|
3665e3b7b5
|
feat: pretty print match
Fixes #177
|
2020-11-10 10:11:24 -08:00 |
|
Sebastian Ullrich
|
e6b15ff6b4
|
feat: delaborator: apply pp options from Expr.mdata nodes
/cc @leodemoura
|
2020-11-03 12:36:33 +01:00 |
|
Leonardo de Moura
|
db9e390b4d
|
chore: remove new_frontend from tests
|
2020-10-25 09:16:38 -07:00 |
|
Sebastian Ullrich
|
f4ffebf01c
|
feat: delaborator: use nicer binder name for [anonymous]
Fixes #193
|
2020-10-14 18:38:59 +02:00 |
|
Sebastian Ullrich
|
fa55c1e088
|
fix: pretty printing loose bvars
Fixes #192
|
2020-09-23 11:13:23 +02:00 |
|