README.md

Slow-Auto, Inconvenient-Semi: escaping false dichotomy with sanely-automatic derivation

Examples are at https://github.com/MateuszKubuszok/derivation-benchmarks

Running

yarn build // offline
yarn start // for development

Development

ASCIIDoctor syntax for Reveal.js - https://docs.asciidoctor.org/reveal.js-converter/latest/converter/features/

Tips

Press s to open speaker notes.

Use http://localhost:8000/?print-pdf to print to PDF.