issues
search
antitypical
/
TesseractCore
Tesseract’s evaluation and type system.
MIT License
30
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`CONTRIBUTING.md` file
#37
robrix
opened
9 years ago
0
Importing .dot files
#36
amackworth
closed
9 years ago
17
Tidy exporting
#35
robrix
closed
9 years ago
2
Export graphs to .dot files.
#34
amackworth
closed
9 years ago
5
Decode `Graph` from .dot
#33
robrix
closed
9 years ago
2
[WIP] Typechecking
#32
robrix
closed
9 years ago
1
[WIP] Simplify graph traversal
#31
robrix
closed
9 years ago
0
Add graphs to the environment
#30
robrix
closed
9 years ago
0
By-need evaluation (?)
#29
robrix
opened
9 years ago
0
Bind graphs in the environment
#28
robrix
closed
9 years ago
0
Rename to tesseract core
#27
robrix
closed
9 years ago
0
Out-of-order partial application
#26
robrix
opened
9 years ago
0
Typecheck graphs
#25
robrix
closed
9 years ago
1
Graph<Node> normal form?
#24
robrix
closed
9 years ago
1
Rename to TesseractCore
#23
robrix
closed
9 years ago
0
Radar repro for nondeterminstic optional binding
#22
robrix
closed
9 years ago
1
Graph evaluation
#21
robrix
closed
9 years ago
1
Simplify identifiers
#20
robrix
closed
9 years ago
0
Overlay `SourceIdentifier`/`DestinationIdentifier` in node data instead of identifier?
#19
robrix
closed
9 years ago
0
Graph traversal
#18
robrix
closed
9 years ago
0
Graph identifiers
#17
robrix
closed
9 years ago
0
Graph traversal
#16
robrix
closed
9 years ago
0
Graph data.
#15
robrix
closed
9 years ago
0
Graph deltas
#14
robrix
closed
9 years ago
3
Syntax for constructing graphs
#13
robrix
closed
9 years ago
3
Typecheck applications
#12
robrix
closed
9 years ago
0
Typechecking of applications is unimplemented
#11
robrix
closed
9 years ago
0
Compile graphs to LLVM bitcode
#10
robrix
opened
9 years ago
0
Allow the assignment of types to parameters
#9
robrix
closed
9 years ago
1
[WIP] Graph → Term & Type
#8
robrix
closed
9 years ago
1
Graphs
#7
robrix
closed
9 years ago
0
Unit
#6
robrix
closed
9 years ago
0
Bump either and tidy
#5
robrix
closed
9 years ago
0
Type inference
#4
robrix
closed
9 years ago
1
Model evaluation of graphs with multiple returns
#3
robrix
opened
9 years ago
2
Evaluation
#2
robrix
closed
9 years ago
1
Typechecking results
#1
robrix
closed
9 years ago
0
Previous