Ecosyste.ms: Issues

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

GitHub / peterlefanulumsdaine/general-type-theories issues and pull requests

#15 - Rename "Shape" to "Scope", as in the paper.

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

#14 - Refactor context renaming

Pull Request - State: closed - Opened by peterlefanulumsdaine about 5 years ago

#13 - Judgements refactor

Pull Request - State: closed - Opened by peterlefanulumsdaine almost 6 years ago

#12 - General organisation cleanup

Pull Request - State: closed - Opened by peterlefanulumsdaine over 6 years ago

#11 - Naming things

Issue - State: closed - Opened by andrejbauer about 8 years ago - 1 comment

#10 - Merge AB Cleanup

Pull Request - State: closed - Opened by peterlefanulumsdaine about 8 years ago

#9 - Work out how to do context-extension

Issue - State: open - Opened by peterlefanulumsdaine about 8 years ago

#8 - Give better notation for variables in raw syntax

Issue - State: open - Opened by peterlefanulumsdaine about 8 years ago

#5 - Define type-checking conditions for rules

Issue - State: open - Opened by peterlefanulumsdaine about 8 years ago

#2 - Give signature and raw rules for Pi-types

Issue - State: open - Opened by peterlefanulumsdaine about 8 years ago

#1 - Give the rest of the structural (raw) rules

Issue - State: open - Opened by peterlefanulumsdaine about 8 years ago - 1 comment