Split compiler example into its own subdirectory

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

204 stars 51 forks source link

Closed Zdancewic closed 5 years ago

Zdancewic commented 5 years ago

Step one of building a compiler tutorial: move it to its own directory.

gmalecha commented 5 years ago

This seems like it is done to some extent. There is a tutorial directory. Is there anything else to do, or should we close this? @YaZko

YaZko commented 5 years ago

It should definitely be closed, thanks for the reminder!