Ecosyste.ms: Issues

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

GitHub / mmirman/caledon issues and pull requests

#8 - Caledon stalls when inferring some arguments.

Issue - State: open - Opened by AHartNtkn about 7 years ago

#7 - Parser stalls on some bad inputs.

Issue - State: open - Opened by AHartNtkn about 7 years ago

#6 - "Somebody plz write a wrapper"? No need!

Pull Request - State: closed - Opened by gelisam almost 12 years ago

#5 - Depth

Pull Request - State: closed - Opened by mmirman almost 12 years ago

#4 - fixed the implicits problem and added true typechecking for defs

Pull Request - State: closed - Opened by mmirman almost 12 years ago

#3 - fixed soundness - it was backwards

Pull Request - State: closed - Opened by mmirman almost 12 years ago

#2 - added recursive type check and unsound declarations

Pull Request - State: closed - Opened by mmirman almost 12 years ago