issues
search
DIJamner
/
InDependent
A gradual, dependently typed language
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Allow implicit typing of abstractions
#12
DIJamner
opened
9 years ago
0
Allow implicit type parameters
#11
DIJamner
opened
9 years ago
0
The compiler should have support for unsafe number conversion
#10
DIJamner
opened
9 years ago
0
asm.js/LLVM
#9
DIJamner
opened
9 years ago
0
File imports
#8
DIJamner
opened
9 years ago
1
InDependent functions do not have types
#7
DIJamner
closed
9 years ago
2
Verification accepts undefined types in native declarations
#6
DIJamner
closed
9 years ago
0
Should the compiler be able to throw errors if it is passed invalid code?
#5
DIJamner
opened
9 years ago
0
Line numbers on post-parsing errors.
#4
DIJamner
closed
9 years ago
2
ADT field access
#3
DIJamner
opened
9 years ago
1
Pattern Matching
#2
DIJamner
opened
9 years ago
0
ADTs should have variable types
#1
DIJamner
closed
9 years ago
1