Ecosyste.ms: Issues

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

GitHub / ecavallo/ptt issues and pull requests

#16 - Revert "correct codiscrete modality"

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

#15 - correct codiscrete modality

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

#14 - Modal pi

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#13 - clean up modality syntax slightly

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#12 - elimination from bridges in discrete-type (MTT-inspired)

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#11 - Revert "remove codiscrete modality"

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#10 - remove codiscrete modality

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#9 - Queue example

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#8 - mtt-style discrete type

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#7 - Some positive types

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#6 - Modal

Pull Request - State: closed - Opened by ecavallo almost 5 years ago

#5 - some bch constructions, also type-checker optimization

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

#4 - Partial bridges (line types etc)

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

#3 - proof of concept

Pull Request - State: closed - Opened by jonsterling about 5 years ago - 3 comments

#2 - Endpoints

Pull Request - State: closed - Opened by ecavallo over 5 years ago - 1 comment

#1 - switch to positive Gel types

Pull Request - State: closed - Opened by ecavallo over 5 years ago