issues
search
rodrigogribeiro
/
solcore
1
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Problem typechecking instances
#15
mbenke
opened
4 months ago
1
Unify pretty-printing
#14
mbenke
closed
2 months ago
0
Unify duplicated code parts (Yul, pretty)
#13
mbenke
closed
2 months ago
0
Problems with pattern-matching compiler
#12
mbenke
closed
4 months ago
1
Unresolved type variables in pattern matching code
#11
mbenke
closed
4 months ago
1
Port Yule (#9 again but now onto main)
#10
mbenke
closed
4 months ago
0
Port yule binary from mbenke/hm-typecheck
#9
mbenke
closed
4 months ago
0
Monomorphisation of polymorhpic and overloaded functions
#8
mbenke
closed
4 months ago
0
Return types are not checked properly
#7
mbenke
closed
4 months ago
1
Type mismatch in Typed Params
#6
mbenke
closed
4 months ago
1
Add alex and happy as build-tool-depends
#5
d-xo
closed
4 months ago
0
Decorate FunDecl w/result type
#4
mbenke
closed
4 months ago
0
Function composition seems mistyped
#3
mbenke
closed
4 months ago
2
Problem typing mutual definitions
#2
mbenke
closed
4 months ago
1
add missing unsnoc def
#1
mbenke
closed
4 months ago
1