issues
search
kevinbarabash
/
compiler
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[wyah]: add support for partial application
#17
kevinbarabash
closed
2 years ago
0
[wyah]: add support for n-ary lambdas
#16
kevinbarabash
closed
2 years ago
0
Port poly_constraint code from "Write you a Haskell" to TypeScript
#15
kevinbarabash
closed
2 years ago
0
Port more tests
#14
kevinbarabash
closed
2 years ago
0
Extend substitute() to handle more than just TVars
#13
kevinbarabash
closed
2 years ago
0
Improve type widening
#12
kevinbarabash
closed
2 years ago
0
Start implementing subtyping in new type inference engine
#11
kevinbarabash
closed
2 years ago
0
Reimplement unify()
#10
kevinbarabash
closed
2 years ago
0
Add types, builders, built-ins, and utils to help with type inference
#9
kevinbarabash
closed
2 years ago
0
Make some progress on function subtyping
#8
kevinbarabash
closed
2 years ago
0
literal types for int and bool and initial sub-typing support
#7
kevinbarabash
closed
2 years ago
0
Add Literal to the AST and update tests to use it
#6
kevinbarabash
closed
2 years ago
0
Add n-ary support to hindley-milner example code
#5
kevinbarabash
closed
2 years ago
0
port python implementation of hindley-milner inference to javascript
#4
kevinbarabash
closed
2 years ago
0
Add support for partial application
#3
kevinbarabash
closed
2 years ago
0
create CI workflow
#2
kevinbarabash
closed
2 years ago
0
add support for top-level declarations
#1
kevinbarabash
closed
2 years ago
0
Previous