Ecosyste.ms: Issues

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

GitHub / imandra-ai/imandra-prelude issues and pull requests

#7 - Add for_all2 to prelude

Pull Request - State: closed - Opened by EmmaTye 6 months ago - 2 comments

#6 - Update for melange 3

Pull Request - State: closed - Opened by mattjbray 9 months ago

#5 - update prelude

Pull Request - State: closed - Opened by c-cube about 4 years ago - 7 comments

#4 - update extracted prelude

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

#3 - bucklescript build

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

#2 - Prelude building with bucklescript

Pull Request - State: closed - Opened by actionshrimp almost 6 years ago - 2 comments

#1 - fix opam invocation

Pull Request - State: closed - Opened by mattjbray over 6 years ago