DeepSpec/InteractionTrees

Document the compiler example

Closed this issue · 0 comments

Zdancewic commented

Aim for an audience of experienced Coq users who are unfamiliar with ITrees.