issues
search
HigherOrderCO
/
Kind
A modern proof language
https://higherorderco.com
MIT License
3.55k
stars
141
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use js version of compiler
#587
iacore
closed
4 days ago
0
Equivalence on UnordPair
#586
iacore
opened
3 weeks ago
1
Syntax in the explanation
#585
iacore
opened
3 weeks ago
0
Minor README.md fix
#584
ubarbaxor
closed
2 months ago
0
WebAssembly
#583
flip111
closed
2 months ago
1
Inconsistent arity error
#582
sw1sh
closed
2 months ago
1
Add newtype optimization
#581
Alex1005a
closed
2 months ago
0
Fix a typo
#580
DenisGorbachev
closed
1 year ago
1
fix: remember to stop file processing on unknown alias
#579
developedby
closed
1 year ago
0
Compiler crashes when using an undeclared alias
#578
developedby
closed
1 year ago
0
refactor: Clean up file loading and name resolution module
#577
developedby
closed
1 year ago
0
Refactor file loading and name resolution module
#576
developedby
closed
1 year ago
0
Update basic function names for kindex update
#575
algebraic-dev
closed
1 year ago
0
Add project / package manager
#574
developedby
closed
2 months ago
0
Create a project/package manager
#573
developedby
closed
2 months ago
0
Update basic function names for Kindex update
#572
developedby
closed
1 year ago
1
Inconsistency in type check messages
#571
SergioBonatto
closed
2 months ago
0
Update basic function names for Kindex update
#570
developedby
closed
1 year ago
3
Feat transformed into a comment
#569
algebraic-dev
closed
1 year ago
0
feat: add flag
#568
algebraic-dev
closed
1 year ago
0
Add flag to show immediate dependencies
#567
algebraic-dev
closed
1 year ago
0
Move running kind inside a session to kind-driver
#566
developedby
closed
1 year ago
0
Panic hook
#565
algebraic-dev
closed
1 year ago
0
New panic hook for the language.
#564
algebraic-dev
closed
1 year ago
0
Feat added flag to remove error dependenies
#563
algebraic-dev
closed
1 year ago
0
Add flag to remove dependency errors
#562
algebraic-dev
closed
1 year ago
0
Added '/' with empty right side
#561
algebraic-dev
closed
1 year ago
0
Add slash on the end of identifiers as another type of "use"
#560
algebraic-dev
closed
1 year ago
0
Add an API for cursor on trees
#559
algebraic-dev
closed
2 months ago
0
Add project / package manager
#558
developedby
closed
1 year ago
0
error[E0599]: no method named `as_ptr` found for struct `AtomicU64` in the current scope
#557
yurivict
closed
1 year ago
2
Add project / package manager
#556
developedby
closed
1 year ago
0
Fix bug with position inside compact messages
#555
algebraic-dev
closed
1 year ago
0
Add new type of error messages used for llms
#554
algebraic-dev
closed
1 year ago
0
Add new type of error messages used for llms
#553
algebraic-dev
closed
1 year ago
0
Add new type of error messages used for LLMs.
#552
algebraic-dev
closed
1 year ago
0
Remove old syntax stuff
#551
aripiprazole
closed
1 year ago
0
Remove old parser and stuff to use treesitter
#550
aripiprazole
closed
2 months ago
0
Feat add explicit flag and disable implicit arguments by default
#549
algebraic-dev
closed
9 months ago
0
Add type checker for erased Pi, App and Lam
#548
algebraic-dev
closed
2 months ago
0
Improve error messages by removing things like implicit arguments
#547
algebraic-dev
closed
2 months ago
0
"New Type" Optimization
#546
algebraic-dev
closed
2 months ago
0
bump: kind-cli version
#545
algebraic-dev
closed
1 year ago
0
Bump cli version to 0.3.9
#544
algebraic-dev
closed
1 year ago
0
Bump version to 0.3.8
#543
aripiprazole
closed
1 year ago
0
Bump cli version to 0.3.8
#542
aripiprazole
closed
1 year ago
0
Bump version to 0.1.2
#541
aripiprazole
closed
1 year ago
0
Bump version to 0.1.2
#540
aripiprazole
closed
1 year ago
0
LLM Support
#539
algebraic-dev
closed
1 year ago
1
Improve parser error messages
#538
aripiprazole
closed
2 months ago
0
Next