|
Basic.lean
|
feat: initial TraceExplorer
|
2021-08-24 08:57:41 -07:00 |
|
Instances.lean
|
feat: generic tagged Format
|
2021-08-01 09:58:44 +02:00 |
|
Macro.lean
|
feat: generic tagged Format
|
2021-08-01 09:58:44 +02:00 |
|
Syntax.lean
|
feat: add info field to Syntax.node
|
2021-10-26 20:19:27 +02:00 |
