robsimmons l10 issues - Githubissues

robsimmons / l10

The L10 Logic Programming Language

l10.hyperkind.org

Other

11 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Refactor generalization

#11 robsimmons opened 12 years ago
0
Elton interface should check for positivity of natural numbers

#10 robsimmons opened 12 years ago
0
Unicode not supported in comments

#9 robsimmons opened 13 years ago
0
Predecessor patterns for natural numbers

#8 robsimmons opened 13 years ago
0
Implement splitting on numbers, strings, and variables

#7 robsimmons closed 12 years ago
1
Ground constants not turned into symbols at the right times

#6 robsimmons closed 12 years ago
1
Pattern matching against nat

#5 robsimmons opened 13 years ago
1
Exists not fully supported

#4 robsimmons closed 12 years ago
1
Types as reserved words breaks SML code generation

#3 robsimmons closed 13 years ago
2
Injection constructor/variable conflict in generated SML code

#2 robsimmons closed 12 years ago
1
Static scheduling should respect subterm ordering

#1 robsimmons opened 13 years ago
0