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

#617 - Small fixes for bend

Pull Request - State: closed - Opened by developedby 2 months ago

#617 - Small fixes for bend

Pull Request - State: closed - Opened by developedby 2 months ago

#616 - Annotate the term returned by check even with suspended checks

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

#616 - Annotate the term returned by check even with suspended checks

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

#614 - Trigonometric

Pull Request - State: open - Opened by Lorenzobattistela 3 months ago

#613 - Add record update syntax

Pull Request - State: open - Opened by edusporto 3 months ago

#612 - More pattern match sugars

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

#611 - Make parse errors more localized

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

#610 - exporting all js definitions

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

#608 - Unrevert some of the latest changes that were undone

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

#608 - Unrevert some of the latest changes that were undone

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

#607 - Allow names to start with the same prefix as keywords

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

#606 - Small improvements to syntax

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

#605 - Op2 checking + I64

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

#603 - Add 'with' syntax to pattern matching equations.

Pull Request - State: closed - Opened by developedby 4 months ago

#602 - Check return type on ops + refactor

Pull Request - State: closed - Opened by Lorenzobattistela 4 months ago

#601 - Simplify skipping redundant default Mat cases

Pull Request - State: closed - Opened by developedby 4 months ago

#600 - Bring back skipping redundant Mat cases

Pull Request - State: closed - Opened by developedby 4 months ago

#599 - F64 u64

Pull Request - State: closed - Opened by Lorenzobattistela 4 months ago

#598 - Use the term from 'check' to check for unfilled metas

Pull Request - State: closed - Opened by developedby 4 months ago

#597 - Fill metas in unreachable Mat cases

Pull Request - State: closed - Opened by developedby 4 months ago

#596 - F64 and U64

Pull Request - State: closed - Opened by Lorenzobattistela 4 months ago

#595 - F64

Pull Request - State: closed - Opened by Lorenzobattistela 4 months ago

#593 - Move infoShow to API.hs to avoid mutually recursive modules

Pull Request - State: closed - Opened by developedby 4 months ago

#591 - Add pattern matching equations

Pull Request - State: closed - Opened by developedby 4 months ago

#590 - Update Reduce and adjusting operator parsing

Pull Request - State: closed - Opened by naoeosavio 4 months ago

#589 - Change Num (U32) to Word32; parse Chars as u32 values

Pull Request - State: closed - Opened by edusporto 4 months ago

#588 - Add: Documentation

Pull Request - State: open - Opened by SergioBonatto 4 months ago - 2 comments

#587 - Use js version of compiler

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

#586 - Equivalence on UnordPair

Issue - State: open - Opened by iacore 5 months ago - 1 comment

#585 - Syntax in the explanation

Issue - State: open - Opened by iacore 5 months ago

#584 - Minor README.md fix

Pull Request - State: closed - Opened by ubarbaxor 10 months ago

#583 - WebAssembly

Issue - State: closed - Opened by flip111 about 1 year ago - 1 comment

#582 - Inconsistent arity error

Issue - State: closed - Opened by sw1sh about 1 year ago - 1 comment

#581 - Add newtype optimization

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

#580 - Fix a typo

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

#579 - fix: remember to stop file processing on unknown alias

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

#578 - Compiler crashes when using an undeclared alias

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

#577 - refactor: Clean up file loading and name resolution module

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

#576 - Refactor file loading and name resolution module

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

#575 - Update basic function names for kindex update

Pull Request - State: closed - Opened by algebraic-sofia over 1 year ago
Labels: code: refactor, code: build

#574 - Add project / package manager

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

#573 - Create a project/package manager

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

#572 - Update basic function names for Kindex update

Issue - State: closed - Opened by developedby over 1 year ago - 1 comment

#571 - Inconsistency in type check messages

Issue - State: closed - Opened by SergioBonatto over 1 year ago
Labels: status: bug

#570 - Update basic function names for Kindex update

Pull Request - State: closed - Opened by developedby over 1 year ago - 3 comments

#569 - Feat transformed into a comment

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

#568 - feat: add flag

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

#567 - Add flag to show immediate dependencies

Issue - State: closed - Opened by algebraic-sofia over 1 year ago
Labels: feature

#566 - Move running kind inside a session to kind-driver

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

#565 - Panic hook

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

#564 - New panic hook for the language.

Issue - State: closed - Opened by algebraic-sofia almost 2 years ago
Labels: feature

#563 - Feat added flag to remove error dependenies

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

#562 - Add flag to remove dependency errors

Issue - State: closed - Opened by algebraic-sofia almost 2 years ago

#561 - Added '/' with empty right side

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

#560 - Add slash on the end of identifiers as another type of "use"

Issue - State: closed - Opened by algebraic-sofia almost 2 years ago
Labels: feature

#559 - Add an API for cursor on trees

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

#558 - Add project / package manager

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

#557 - error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope

Issue - State: closed - Opened by yurivict almost 2 years ago - 2 comments
Labels: status: bug

#556 - Add project / package manager

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

#555 - Fix bug with position inside compact messages

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

#554 - Add new type of error messages used for llms

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

#553 - Add new type of error messages used for llms

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

#552 - Add new type of error messages used for LLMs.

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

#551 - Remove old syntax stuff

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

#550 - Remove old parser and stuff to use treesitter

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

#549 - Feat add explicit flag and disable implicit arguments by default

Pull Request - State: closed - Opened by algebraic-dev almost 2 years ago
Labels: feature, scope: developer experience

#548 - Add type checker for erased Pi, App and Lam

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

#547 - Improve error messages by removing things like implicit arguments

Issue - State: closed - Opened by algebraic-dev almost 2 years ago
Labels: scope: developer experience

#546 - "New Type" Optimization

Issue - State: closed - Opened by algebraic-dev almost 2 years ago
Labels: scope: optimization

#545 - bump: kind-cli version

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

#544 - Bump cli version to 0.3.9

Issue - State: closed - Opened by algebraic-sofia almost 2 years ago

#543 - Bump version to 0.3.8

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

#542 - Bump cli version to 0.3.8

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

#541 - Bump version to 0.1.2

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

#540 - Bump version to 0.1.2

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

#539 - LLM Support

Issue - State: closed - Opened by algebraic-sofia almost 2 years ago - 1 comment
Labels: wont fix

#538 - Improve parser error messages

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

#537 - Rewrite parser

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

#536 - Write a minimal type system to erase specifications

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

#535 - Implement an optimized graph

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

#534 - Prototype naive graph implementation

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

#533 - Bind desugar with the query system

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

#532 - Bind resolver with the query system

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

#531 - Bind parser and lexer with the query system

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

#530 - Prototype query system

Pull Request - State: closed - Opened by aripiprazole almost 2 years ago - 1 comment
Labels: code: refactor, code: rewrite, scope: query system

#529 - Prototype query system

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

#528 - Cannot find definitions of List, Cons and Nil

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

#527 - Add jetbrains ignore files

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

#526 - Add jetbrains ignore files

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

#525 - Add abstract syntax tree to kind core

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

#524 - Add abstract syntax tree

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

#523 - Remove next field from ReturnStmt and ReturnExprStmt

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

#522 - Remove next field from ReturnStmt and ReturnExprStmt

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