Ecosyste.ms: Issues

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

GitHub / phadej/language-pts issues and pull requests

#14 - Add postulates

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

#13 - Fixed point

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

#12 - Value without error

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

#11 - Add quarks

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

#10 - Add Unit and Empty

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

#9 - Equality constructors

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

#8 - Add Sigma

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

#7 - Type-check and eval simultaneously

Pull Request - State: closed - Opened by phadej about 6 years ago

#6 - Dump script

Pull Request - State: closed - Opened by phadej about 6 years ago

#5 - Natural prim

Pull Request - State: closed - Opened by phadej about 6 years ago

#4 - Add primitive 'and'

Pull Request - State: closed - Opened by phadej about 6 years ago

#3 - Add Girard's Paradox example

Pull Request - State: closed - Opened by phadej about 6 years ago

#2 - Value type

Pull Request - State: closed - Opened by phadej about 6 years ago

#1 - Add Booleans

Pull Request - State: closed - Opened by phadej about 6 years ago