Ecosyste.ms: Issues

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

GitHub / mikeshulman/narya issues and pull requests

#25 - Build Infrastructure

Pull Request - State: open - Opened by olynch 26 days ago - 2 comments

#24 - Accumulate and report multiple errors when possible

Pull Request - State: open - Opened by mikeshulman about 1 month ago - 1 comment

#23 - jsNarya

Pull Request - State: closed - Opened by mikeshulman about 2 months ago

#22 - proof-general solving holes

Pull Request - State: open - Opened by ElifUskuplu about 2 months ago - 20 comments

#21 - Motivating examples

Issue - State: open - Opened by jfaure 3 months ago - 1 comment

#20 - Discreteness for indexed, parametrized, and mutual datatypes

Pull Request - State: closed - Opened by mikeshulman 3 months ago

#19 - adding (require 'ansi-color) to narya.el

Pull Request - State: closed - Opened by ElifUskuplu 3 months ago

#18 - adding (require 'ansi-color) to narya.el

Pull Request - State: closed - Opened by ElifUskuplu 3 months ago

#17 - README.md: add another dependency

Pull Request - State: closed - Opened by jcranch 5 months ago

#16 - Undo, sections, and updated ProofGeneral mode

Pull Request - State: closed - Opened by mikeshulman 5 months ago - 2 comments

#15 - Make yuujinchou import modifiers available to the user

Pull Request - State: closed - Opened by mikeshulman 5 months ago

#14 - bugfix: import also imports notations

Pull Request - State: closed - Opened by mikeshulman 5 months ago

#13 - Save and load typechecked versions of files

Pull Request - State: closed - Opened by mikeshulman 5 months ago

#12 - Import files

Pull Request - State: closed - Opened by mikeshulman 6 months ago

#11 - OCaml 5.2 now required

Issue - State: closed - Opened by mikeshulman 6 months ago

#10 - (Possibly) Utilize magic to relieve some of the runtime unary natural cost

Issue - State: closed - Opened by jake-87 6 months ago - 4 comments

#9 - Glued evaluation, currently disabled

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

#8 - Multiple and deep matches

Pull Request - State: closed - Opened by mikeshulman 6 months ago

#7 - Allow eta-expansion of records when printing

Pull Request - State: closed - Opened by mikeshulman 6 months ago

#5 - Matches in let-bindings

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

#4 - feature: `absurd` that lives in `check`

Issue - State: closed - Opened by TOTBWF 7 months ago - 6 comments

#3 - Diagnostic spans include whitespace after the error

Issue - State: closed - Opened by TOTBWF 7 months ago - 1 comment

#2 - adding files for test

Pull Request - State: closed - Opened by ElifUskuplu 8 months ago

#1 - Pr test

Pull Request - State: closed - Opened by ElifUskuplu 8 months ago