Kind1 icon indicating copy to clipboard operation
Kind1 copied to clipboard

verified publisher icon HigherOrderCO
→

Metadata

A next-gen functional language

Results 93 Kind1 issues
Sort by recently updated
recently updated
newest added

Write a minimal type system to erase specifications

Today in kind we need to specify in `do IO a { ... }`, the goal of this type system is to infer the `IO a`

aripiprazole avatar aripiprazole

Support recursive types on type system

1 comment

aripiprazole avatar aripiprazole

code: rewrite

Move Item from lexeme to a new file

algebraic-dev avatar algebraic-dev

code: rewrite

Add error token

aripiprazole avatar aripiprazole

code: rewrite

Add error node

aripiprazole avatar aripiprazole

code: rewrite

Add a TypeError type to the type checker that when evaluated generates a pretty error message (just like Haskell one)

aripiprazole avatar aripiprazole

code: rewrite

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

aripiprazole avatar aripiprazole

code: rewrite

Coverage checker + Absurd Pattern

aripiprazole avatar aripiprazole

code: rewrite

Add query system base

aripiprazole avatar aripiprazole

code: rewrite

Rewrite KDL backend

aripiprazole avatar aripiprazole

code: rewrite

← Metadata

3.5k
Stars
142
Forks
Watchers

Owner

verified publisher icon HigherOrderCO

Metadata

A next-gen functional language

Back