Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / victortaelin/calculus-of-constructions issues and pull requests

#2 - Lazy evaluation prevents typechecking

Issue - State: open - Opened by vincent-163 10 months ago

#1 - How can induction be derived in this system?

Issue - State: closed - Opened by atennapel about 5 years ago - 1 comment