coq-effects software on GitHub

Software OPEN SOURCE

A program translation implementing self-algebraic effects in Coq.
Share - Bookmark