Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Programming Computable Functions
Issues
#8
Ensure terms in operational semantics
If this is really meaningful, ensure that bigCBN/bigCBV only work on terms.