issues
search
eignnx
/
rellog
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Refactor PL backend
#49
eignnx
opened
2 weeks ago
0
Rethink builtins
#48
eignnx
opened
2 weeks ago
0
Allow unary and binary operators?
#47
eignnx
opened
2 weeks ago
1
Compilation to Prolog
#46
eignnx
opened
3 weeks ago
0
`[Eq]` doesn't need to be built-in
#45
eignnx
opened
3 weeks ago
0
REPL Nested Text Template Highlighting
#44
eignnx
opened
3 weeks ago
0
Text Template Unification Errors
#43
eignnx
opened
3 weeks ago
1
Merge `charlist-with-cons` branch
#42
eignnx
closed
4 months ago
1
DCG Syntax
#41
eignnx
opened
5 months ago
0
Module System
#40
eignnx
opened
7 months ago
1
Underscore Variables
#39
eignnx
opened
10 months ago
1
Reify to depth N
#38
eignnx
opened
10 months ago
0
Eignnx/issue27
#37
eignnx
closed
10 months ago
0
Use `dup` not `duplicate`
#36
eignnx
closed
10 months ago
0
parse error hell
#35
eignnx
closed
10 months ago
1
Mode Checking
#34
eignnx
opened
10 months ago
1
Functions
#33
eignnx
closed
10 months ago
1
Repl-src-var-clash-fix
#32
eignnx
closed
10 months ago
0
Use `dup` not `duplicate`
#31
eignnx
closed
10 months ago
0
closes #26
#30
eignnx
closed
10 months ago
0
Syntactic Closure
#29
eignnx
opened
10 months ago
0
Issue25-signatures
#28
eignnx
closed
10 months ago
0
Variable reification
#27
eignnx
closed
10 months ago
3
Replace `[Not]` with `[Goal][Truth]`
#26
eignnx
closed
10 months ago
0
Change how signatures are written
#25
eignnx
closed
10 months ago
0
Add `[rel][sig]` builtin
#24
eignnx
closed
10 months ago
2
2-Storey Building of Interpreters
#23
eignnx
closed
6 months ago
2
Dcgs
#22
eignnx
closed
10 months ago
0
MVP for Debug Mode
#21
eignnx
closed
10 months ago
0
Raw String Literals
#20
eignnx
opened
10 months ago
2
Use `miette` for Errors
#19
eignnx
opened
10 months ago
0
Equal-operator
#18
eignnx
closed
11 months ago
0
Unified syntax for list/txt cons
#17
eignnx
opened
11 months ago
1
Check correctness of `PartialCharList::dup`
#16
eignnx
opened
11 months ago
0
Directives
#15
eignnx
closed
6 months ago
3
Generate docs
#14
eignnx
opened
11 months ago
0
Use `heck` for upcase/downcase
#13
eignnx
closed
11 months ago
1
File IO Builtins
#12
eignnx
opened
11 months ago
1
Consider Text = Rope + Cursor(s)
#11
eignnx
opened
11 months ago
0
String tail syntax
#10
eignnx
closed
4 months ago
0
Reducing Redundant Choicepoints
#9
eignnx
opened
11 months ago
3
Consider reversing key-value order in attributes
#8
eignnx
closed
11 months ago
2
Attributed Variables
#7
eignnx
opened
11 months ago
0
Subsumption
#6
eignnx
opened
11 months ago
0
Add prolog's `bagof` builtin
#5
eignnx
opened
11 months ago
1
Add prolog's copy_term builtin
#4
eignnx
closed
11 months ago
1
Multi-det Builtins instead of List-based
#3
eignnx
opened
11 months ago
1
Predicate notation
#2
eignnx
closed
10 months ago
1
Rule refs inside text templates
#1
eignnx
opened
1 year ago
1