issues
search
jacobdweightman
/
allium
The Allium Programming Language
MIT License
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump llvm version to fix build
#21
kwalberg
closed
1 year ago
2
8 allium ls functional tests hang on windows
#20
kwalberg
closed
1 year ago
1
#15 builtin predicate infrastructure
#19
jacobdweightman
closed
2 years ago
2
11 parsing for effect handlers
#18
kwalberg
closed
2 years ago
0
Predicate overloading (aka "ad hoc polymorphism")
#17
jacobdweightman
opened
2 years ago
1
Prevent multiple definitions of the same predicate
#16
jacobdweightman
closed
2 years ago
0
Add infrastructure for builtin predicates
#15
jacobdweightman
closed
2 years ago
0
Interpret Effect Handlers
#14
jacobdweightman
opened
2 years ago
0
Groundness Analysis for Handlers
#13
jacobdweightman
opened
2 years ago
0
Semantic Analysis for Effect Handlers
#12
jacobdweightman
opened
2 years ago
0
Parsing for effect handlers
#11
jacobdweightman
closed
2 years ago
3
Prevent multiple definitions of the same predicate
#10
jacobdweightman
closed
2 years ago
0
Allow effects/predicates to require parameters to be ground.
#9
jacobdweightman
closed
2 years ago
1
allium-ls functional tests hang on Windows
#8
jacobdweightman
closed
1 year ago
4
Added error handling for input file
#7
kwalberg
closed
2 years ago
3
Cleaned up "Invoked predicate named main" error cases.
#6
kwalberg
closed
2 years ago
1
Executing non-existent file yields "Invoked program with no predicate named main"
#5
kwalberg
closed
2 years ago
0
Issue unifying with unbound variables
#4
jacobdweightman
closed
2 years ago
1
Disallow cyclic definitions of variables
#3
jacobdweightman
opened
3 years ago
1
"Invoked program with no predicate named main" error occurs in unrelated syntax error cases
#2
kwalberg
closed
2 years ago
1
Cleaned up error message related to predicate arguments
#1
kwalberg
closed
3 years ago
1