search

RedPRL / asai

🩺 A library for compiler diagnostics
https://ocaml.org/p/asai
Apache License 2.0
35 stars 2 forks source link

feat(Explicator): introduce debug mode #139

Closed favonia closed 1 year ago

favonia commented 1 year ago

Should eventually address #137 and #136.