aa755 / coq-interaction-trees Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gmalecha/coq-interaction-trees
Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.