blog-static/code/dawn
2021-11-28 16:50:28 -08:00
..
Dawn.v Fix Ltac2 bug in Dawn file 2021-11-27 23:13:08 -08:00
DawnEval.v Finish a draft of the UCC evaluator article 2021-11-28 16:50:28 -08:00
DawnV2.v Use a different representation of values and prove equivalence of UCC evalutor 2021-11-28 01:08:56 -08:00
Ucc.hs Use a different representation of values and prove equivalence of UCC evalutor 2021-11-28 01:08:56 -08:00