]> Git — Sourcephile - doclang.git/history - Hdoc/DTC/Check/Judgment.hs
Improve checking.
[doclang.git] / Hdoc / DTC / Check / Judgment.hs
2018-06-26 Julien MoutinhoImprove checking.