3 ms·
Ascent is lovely. The paper on it is really well written, too: https://s-arash.github.io/ascent/cc22main-p95-seamless-deductive-inference-via-macros.pdf https:/
by sixwing 4y ago
Ascent is lovely. The paper on it is really well written, too: https://s-arash.github.io/ascent/cc22main-p95-seamless-deductive-inference-via-macros.pdf https://s-arash.github.io/ascent/cc22main-p95-seamless-deduc...