Rewriting

Overview of rewriting systems and strategies for morgenfryd and how proof systems are represented and reasoned about.

IN PROGRESS

This page is currently under construction. More coming soon... 🚧