Ecosyste.ms: Issues

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

GitHub / utgwkk/poly-record-ml issues and pull requests

#8 - make -j2

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

#7 - Reference type

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

#6 - Travis CI cache

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

#5 - Descriptive record update

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

#4 - Type inference

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

#3 - Add Travis CI / opam config

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

#2 - Typechecker for \Lambda^{let,.}

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

#1 - \Lambda{let,\cdot} -> \lambda{let,[]} compiler

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