Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / owo-lang/narc-rs issues and pull requests
#61 - Reconsider LHS checking algorithm
Issue -
State: open - Opened by ice1000 about 4 years ago
#60 - Wrong unify rule
Issue -
State: closed - Opened by ice1000 about 4 years ago
Labels: bug
#59 - [DNM] branch: save-sol
Pull Request -
State: closed - Opened by owo-bot almost 5 years ago
Labels: bug, unify, do not merge
#58 - [DNM] branch: scoped-meta
Pull Request -
State: closed - Opened by owo-bot almost 5 years ago
Labels: unify, do not merge, context
#57 - Meta solution in conversion check is broken
Issue -
State: closed - Opened by ice1000 almost 5 years ago
- 1 comment
Labels: bug, unify
#56 - Rework the meta solution utilities
Issue -
State: closed - Opened by ice1000 almost 5 years ago
- 3 comments
Labels: unify, context
#55 - Verbosity levels
Issue -
State: open - Opened by ice1000 almost 5 years ago
Labels: help wanted, cli
#54 - Use TCE with stacktrace & pos-col instead of `unreachable!()`s
Issue -
State: open - Opened by ice1000 almost 5 years ago
Labels: enhancement, help wanted, error message
#53 - Smart emoji formatter
Issue -
State: open - Opened by ice1000 almost 5 years ago
Labels: help wanted, cli
#52 - Named deBruijn variables
Issue -
State: open - Opened by ice1000 almost 5 years ago
Labels: enhancement
#51 - Named deBruijn variables
Issue -
State: closed - Opened by ice1000 almost 5 years ago
- 3 comments
Labels: duplicate, enhancement
#50 - [DNM] branch: 19
Pull Request -
State: closed - Opened by owo-bot almost 5 years ago
Labels: do not merge, decl
#49 - [ doc ] Fixed unreachable links
Pull Request -
State: closed - Opened by anqurvanillapy almost 5 years ago
- 4 comments
#48 - [DNM] branch: 17
Pull Request -
State: closed - Opened by owo-bot almost 5 years ago
Labels: do not merge, constructor
#47 - [DNM] branch: 15
Pull Request -
State: closed - Opened by owo-bot almost 5 years ago
Labels: enhancement, do not merge
#46 - Implicit application
Issue -
State: open - Opened by ice1000 about 5 years ago
Labels: parser
#45 - [DNM] branch: codata
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, codata, projection
#44 - [DNM] branch: data
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, constructor
#43 - Desugar codata (and projections)
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: codata, projection
#42 - Desugar data (and constructors)
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: constructor
#41 - [DNM] branch: desugar
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, abstract
#40 - [DNM] branch: desugar
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, abstract
#39 - [DNM] branch: desugar
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, abstract
#38 - [DNM] branch: desugar
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, abstract
#37 - [DNM] branch: desugar
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, abstract
#36 - Desugar definitions and clauses
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 7 comments
Labels: abstract
#35 - [DNM] branch: 33
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, abstract
#34 - [DNM] branch: expr
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, parser
#33 - `Abs::App` should be chained instead of binary
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 2 comments
Labels: abstract
#32 - [DNM] branch: expr
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, parser
#31 - Parser & Surface syntax initial
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 2 comments
Labels: parser
#30 - [DNM] branch: 27
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, unfold-decl
#29 - [DNM] branch: 2325
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, infer, codata
#28 - Re-think about constructor and projection's telescope
Issue -
State: open - Opened by ice1000 about 5 years ago
- 2 comments
Labels: implicit, constructor, projection
#27 - `normalize` can implement simple cases without unfolding declarations
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 2 comments
Labels: unfold-decl
#26 - [DNM] branch: 24
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, implicit
#25 - `infer` should deal with codata eliminations
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: codata
#24 - `infer` should deal with implicit parameters
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: implicit
#23 - `infer` should also output the evaluated term
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: infer
#22 - [DNM] branch: parse
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge
#21 - [DNM] branch: parse
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, parser
#20 - Parser initial
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: parser
#19 - Check decls
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 2 comments
Labels: decl
#18 - Check projections
Issue -
State: open - Opened by ice1000 about 5 years ago
Labels: projection
#17 - Check constructors
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: constructor
#16 - Check codata declarations
Issue -
State: open - Opened by ice1000 about 5 years ago
Labels: enhancement
#15 - Check datatype declarations
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: enhancement
#14 - Check application
Issue -
State: open - Opened by ice1000 about 5 years ago
Labels: enhancement
#13 - [DNM] branch: 12
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: bug, do not merge
#12 - The implementation of `eval` for `App` is wrong
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: bug
#11 - [DNM] branch: av
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, builds
#10 - Cache cargo builds on AppVeyor
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 2 comments
Labels: builds
#9 - [DNM] branch: check-pi
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge
#8 - [DNM] branch: 7
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
- 1 comment
Labels: do not merge, context
#7 - Lookup local variables
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: context
#6 - [DNM] branch: 5
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
Labels: enhancement, do not merge
#5 - Ast traversal utilities
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 2 comments
Labels: enhancement
#4 - [DNM] branch: nom
Pull Request -
State: closed - Opened by owo-bot about 5 years ago
- 1 comment
Labels: unify, do not merge
#3 - Nominal conversion check
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 1 comment
Labels: unify
#2 - Discussion
Issue -
State: open - Opened by ice1000 about 5 years ago
- 8 comments
Labels: invalid, wontfix
#1 - Migrate voile-rs core 0.0.14
Issue -
State: closed - Opened by ice1000 about 5 years ago
- 3 comments
Labels: enhancement