Spellcheck the tutorial

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

203 stars 51 forks source link

Closed jeehoonkang closed 5 years ago

jeehoonkang commented 5 years ago

Here's the correction for a few misspelling bugs.

YaZko commented 5 years ago

Thank you for these!