issues
search
Storyyeller
/
cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
Apache License 2.0
159
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Crate regex missing as a dependency
#8
stephanemagnenat
opened
5 months ago
3
Unsound type annotation
#7
mbillingr
closed
7 months ago
3
type subsumption
#6
Mehgugs
opened
1 year ago
0
Question: type assertion / typeof
#5
Mehgugs
closed
1 year ago
9
Code generation bug
#4
dgreensp
closed
2 years ago
1
Slight tutorial errata and differences from GitHub implementation in Parts 2-3
#3
dgreensp
closed
2 years ago
3
Error when running online demo
#2
dgreensp
closed
2 years ago
1
Free type variables and extracting type information
#1
zesterer
opened
3 years ago
21