Ecosyste.ms: Issues

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

GitHub / HigherOrderCO/Kind issues and pull requests

#521 - Improve code style

Pull Request - State: closed - Opened by algebraic-sofia almost 2 years ago
Labels: code: refactor, code: rewrite

#520 - Getting errors when trying to run cargo install kind2

Issue - State: closed - Opened by Arrow7000 almost 2 years ago - 2 comments

#519 - docs: fix top level declarations names cases

Pull Request - State: closed - Opened by aripiprazole almost 2 years ago

#518 - Fix code with the new style syntax tree names and lexemes

Pull Request - State: closed - Opened by aripiprazole almost 2 years ago

#517 - Move Item from lexeme to a new file

Issue - State: closed - Opened by algebraic-dev almost 2 years ago
Labels: code: rewrite

#516 - Improve parser code style

Issue - State: closed - Opened by algebraic-sofia almost 2 years ago
Labels: code: refactor, code: rewrite

#515 - Fix current code with the new syntax tree

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: status: bug, code: rewrite

#514 - Rewrite the compiler in order to make it better for tooling

Pull Request - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#513 - Add error token

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#512 - Add error node

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#510 - Add a LINE and COL macros that are useful for generating error messages

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#509 - Coverage checker + Absurd Pattern

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#508 - Add query system base

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#507 - Rewrite KDL backend

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#506 - Rewrite HVM backend

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#505 - Support recursive types on type system

Issue - State: closed - Opened by aripiprazole almost 2 years ago - 1 comment
Labels: code: rewrite

#504 - Add code formatter demo

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#503 - Rewrite parser

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#502 - Add documentation to syntax nodes

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: rewrite

#501 - Rewrite

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: refactor, scope: improvement, code: rewrite

#500 - Inside a Sigma, `Got` is equal to `Expected` but it returns a `Type mismatch` error

Issue - State: closed - Opened by SergioBonatto almost 2 years ago
Labels: status: bug, scope: type_checker

#499 - build: bump hvm version

Pull Request - State: closed - Opened by aripiprazole almost 2 years ago

#498 - Actions with wrong version

Issue - State: closed - Opened by aripiprazole almost 2 years ago
Labels: code: build

#497 - fix: fix rust-toolchain file

Pull Request - State: closed - Opened by aripiprazole almost 2 years ago

#496 - Problem with relevance checking with type constructors

Issue - State: closed - Opened by algebraic-dev almost 2 years ago
Labels: status: confirmed bug

#495 - Problem with variables named `dup`

Issue - State: closed - Opened by algebraic-dev almost 2 years ago
Labels: status: confirmed bug

#494 - Unclear error

Issue - State: closed - Opened by SergioBonatto almost 2 years ago
Labels: scope: type_checker, scope: improvement

#493 - bug from apply lambda

Issue - State: closed - Opened by NaoEhSavio almost 2 years ago
Labels: scope: type_checker, status: confirmed bug

#492 - Wrrong compilation of generated names in kindelia backend

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#491 - Wrong compilation of generated names in Kindelia Backend

Issue - State: closed - Opened by algebraic-sofia about 2 years ago
Labels: status: confirmed bug, scope: kindelia backend

#490 - Kdl inlinining that caused some problems on flattening

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#489 - Compiler crashes while flattening with inlines in the KDL backend

Issue - State: closed - Opened by algebraic-sofia about 2 years ago
Labels: status: confirmed bug, scope: kindelia backend

#488 - Fix deps 2

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#487 - Fix deps

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#486 - Add Float Support

Issue - State: closed - Opened by algebraic-dev about 2 years ago
Labels: feature

#485 - Add mutter, setter and getter syntax

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#484 - fix: parsing of open

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#483 - Add mutter, setter and getter syntax

Issue - State: closed - Opened by algebraic-sofia about 2 years ago - 7 comments
Labels: feature

#481 - Refactor of some parts of the compiler.

Issue - State: closed - Opened by algebraic-sofia about 2 years ago
Labels: code: refactor

#480 - Improved Readme

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#479 - Improve README

Issue - State: closed - Opened by algebraic-sofia about 2 years ago
Labels: documentation

#476 - Add a simple type checker in order to elaborate some pieces of the code

Issue - State: closed - Opened by algebraic-dev about 2 years ago
Labels: feature, scope: type_checker

#475 - Add absurd pattern to the coverage checker

Issue - State: closed - Opened by algebraic-dev about 2 years ago
Labels: feature, scope: coverage

#474 - Add indices to the coverage checker

Issue - State: closed - Opened by algebraic-dev about 2 years ago
Labels: feature, scope: coverage

#473 - Added license

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago

#467 - What happened to the blog posts?

Issue - State: closed - Opened by L-as about 2 years ago - 2 comments

#466 - Coverage checker fix

Pull Request - State: closed - Opened by algebraic-sofia about 2 years ago - 1 comment

#463 - The coverage check, Native type U60 --bug

Issue - State: closed - Opened by NaoEhSavio about 2 years ago - 1 comment
Labels: status: bug, scope: coverage

#454 - Type checker is not infering forall type correctly

Issue - State: closed - Opened by o-santi about 2 years ago
Labels: status: bug, scope: type_checker

#446 - A rule with nested constructors does not typecheck when it should.

Issue - State: closed - Opened by FranchuFranchu about 2 years ago - 2 comments
Labels: scope: type_checker, status: confirmed bug

#418 - Add a mechanism to make `Kindelia.IO.call` usable

Issue - State: closed - Opened by developedby about 2 years ago - 2 comments
Labels: scope: kindelia backend

#417 - Add inlining for more complex cases

Issue - State: closed - Opened by developedby about 2 years ago
Labels: feature

#412 - Add support for a REPL

Issue - State: closed - Opened by algebraic-dev over 2 years ago
Labels: feature

#404 - Kdl compilation genereates needless/unused terms

Issue - State: closed - Opened by developedby over 2 years ago - 1 comment
Labels: scope: optimization

#400 - Kind2 hanging on file check

Issue - State: closed - Opened by Danfs64 over 2 years ago - 1 comment
Labels: scope: type_checker, status: confirmed bug

#394 - goal spacing correction, in inspection

Pull Request - State: closed - Opened by SergioBonatto over 2 years ago - 1 comment

#376 - Compile Kind's `ask` to kdl's `ask`

Issue - State: closed - Opened by developedby over 2 years ago
Labels: scope: kindelia backend