Ecosyste.ms: Issues

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

GitHub / alexmojaki/dependent_types issues and pull requests

#5 - Natural numbers added

Pull Request - State: closed - Opened by miekmesserschmidt over 4 years ago

#4 - Arrow types

Pull Request - State: closed - Opened by miekmesserschmidt over 4 years ago - 1 comment

#3 - Pi-types using nested functions. Checking for equality of expressions

Pull Request - State: closed - Opened by alexmojaki over 4 years ago

#2 - [Discussion] Implementation of the Arrow type

Issue - State: open - Opened by miekmesserschmidt over 4 years ago