Ecosyste.ms: Issues

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

GitHub / l-tchen/modaltypetheory issues and pull requests

#2 - Fixes TERMINATING pragma in \Gamma to \Delta function in Dual.IK

Pull Request - State: closed - Opened by carlostome almost 4 years ago - 1 comment

#1 - Prove progress

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