Ecosyste.ms: Issues

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

GitHub / david-christiansen/tiny-dependent-types issues and pull requests

#8 - Clarification of terms

Issue - State: closed - Opened by Heimdell about 11 years ago - 1 comment

#7 - Induction hypotheses incorrectly applied

Issue - State: open - Opened by david-christiansen over 12 years ago

#5 - :showstate shows the state in reverse order

Issue - State: closed - Opened by david-christiansen over 12 years ago - 1 comment
Labels: bug

#4 - Checking pi-types is not yet good enough

Issue - State: closed - Opened by david-christiansen over 12 years ago

#3 - Ugly parser

Issue - State: open - Opened by david-christiansen over 12 years ago - 1 comment
Labels: bug

#2 - We need inductive datatypes!

Issue - State: closed - Opened by david-christiansen over 12 years ago - 4 comments
Labels: enhancement

#1 - We need sigma types!

Issue - State: closed - Opened by david-christiansen over 12 years ago
Labels: enhancement