Ecosyste.ms: Issues

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

GitHub / aripiprazole/lura issues and pull requests

#25 - build(deps): bump mio from 0.8.8 to 0.8.11

Pull Request - State: open - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: dependencies, rust

#25 - build(deps): bump mio from 0.8.8 to 0.8.11

Pull Request - State: open - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: dependencies, rust

#24 - build(deps): bump ip from 2.0.0 to 2.0.1

Pull Request - State: open - Opened by dependabot[bot] 12 months ago - 1 comment
Labels: dependencies, javascript

#24 - build(deps): bump ip from 2.0.0 to 2.0.1

Pull Request - State: open - Opened by dependabot[bot] 12 months ago - 1 comment
Labels: dependencies, javascript

#23 - build(deps-dev): bump vite from 4.5.0 to 4.5.2 in /docs

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies, javascript

#23 - build(deps-dev): bump vite from 4.5.0 to 4.5.2 in /docs

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies, javascript

#22 - build(deps-dev): bump vite from 4.5.0 to 4.5.1 in /docs

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 2 comments
Labels: dependencies, javascript

#22 - build(deps-dev): bump vite from 4.5.0 to 4.5.1 in /docs

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 2 comments
Labels: dependencies, javascript

#21 - Js

Pull Request - State: open - Opened by aripiprazole about 1 year ago - 1 comment

#21 - Js

Pull Request - State: open - Opened by aripiprazole about 1 year ago - 1 comment

#20 - chore: lint fix

Pull Request - State: closed - Opened by algebraic-dev about 1 year ago - 1 comment

#20 - chore: lint fix

Pull Request - State: closed - Opened by algebraic-dev about 1 year ago - 1 comment

#19 - feat(lura-eyre): add base for eyre

Pull Request - State: closed - Opened by aripiprazole about 1 year ago - 1 comment

#19 - feat(lura-eyre): add base for eyre

Pull Request - State: closed - Opened by aripiprazole about 1 year ago - 1 comment

#18 - Add a miette/eyre error type in a new crate

Issue - State: closed - Opened by aripiprazole about 1 year ago

#18 - Add a miette/eyre error type in a new crate

Issue - State: closed - Opened by aripiprazole about 1 year ago

#17 - Use miette as main library for error reporting instead of ariadne

Issue - State: open - Opened by aripiprazole about 1 year ago
Labels: enhancement, tech debt, scope: diagnostics

#17 - Use miette as main library for error reporting instead of ariadne

Issue - State: open - Opened by aripiprazole about 1 year ago
Labels: enhancement, tech debt, scope: diagnostics

#16 - Free variables

Pull Request - State: closed - Opened by aripiprazole over 1 year ago

#16 - Free variables

Pull Request - State: closed - Opened by aripiprazole over 1 year ago

#15 - Create feature flag for GADT

Issue - State: closed - Opened by aripiprazole over 1 year ago

#15 - Create feature flag for GADT

Issue - State: closed - Opened by aripiprazole over 1 year ago

#14 - Iterate dependent kinds when substituting

Issue - State: closed - Opened by aripiprazole over 1 year ago

#13 - Open holes in kind definitions

Issue - State: closed - Opened by aripiprazole over 1 year ago

#10 - Elaboration

Issue - State: closed - Opened by aripiprazole over 1 year ago

#9 - Kind inference

Issue - State: closed - Opened by aripiprazole over 1 year ago

#8 - Constraint entailment

Issue - State: closed - Opened by aripiprazole over 1 year ago

#7 - Let generalization

Issue - State: closed - Opened by aripiprazole over 1 year ago

#6 - Free variables on "forall"

Issue - State: closed - Opened by aripiprazole over 1 year ago

#5 - Use `EvalEnv` instead of nominal types and substitution

Issue - State: closed - Opened by aripiprazole over 1 year ago

#4 - Debruijin indexes on "forall"

Issue - State: closed - Opened by aripiprazole over 1 year ago

#3 - Tracking

Issue - State: closed - Opened by aripiprazole over 1 year ago

#2 - feat: implement basic adhoc

Pull Request - State: closed - Opened by aripiprazole over 1 year ago

#1 - feat(lura-typer): add HOAS and dependent type engine

Pull Request - State: closed - Opened by aripiprazole over 1 year ago