Rename "send effect" -> "trigger event" - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Rename "send effect" -> "trigger event" #119

Closed Lysxia closed 5 years ago

Lysxia commented 5 years ago

Plus minor clean up.

Fixes #118.