issues
search
bash
/
cauliflambda
WIP lambda calculus parser and evaluator with a very professional name
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Definitions
#36
bash
closed
1 month ago
0
Test for ɑ-Equivalence
#35
bash
opened
1 year ago
0
Evaluation for expression with names
#34
bash
closed
1 year ago
0
Nominal Definitions
#33
bash
opened
1 year ago
0
Display Improvements
#32
bash
opened
1 year ago
0
Built-in asserts for testing
#31
bash
opened
1 year ago
0
Annotate Sub-expression Changed During Reduction Step
#30
bash
opened
1 year ago
0
Separate AST from internal representation
#29
bash
opened
1 year ago
0
Evaluation Take Ⅱ
#28
bash
opened
1 year ago
0
Expand Nominal Definitions during Evaluation
#27
bash
opened
1 year ago
0
Evaluation for Expressions with Names
#26
bash
closed
1 year ago
0
Embeddable
#25
bash
opened
1 year ago
0
False positive for warning
#24
bash
closed
1 year ago
2
Memoization?
#23
bash
opened
1 year ago
0
Rainbow parenthesis
#22
bash
opened
1 year ago
0
Analysis: Warn or Info for unnecessary abstractions
#21
bash
closed
1 year ago
1
REPL should retain definitions between evaluations
#20
bash
opened
1 year ago
0
Show normal form in terms of nominal definitions
#19
bash
opened
1 year ago
0
Church Numerals
#18
bash
closed
13 hours ago
1
Reduce to normal form
#17
bash
opened
1 year ago
0
Reduction
#16
bash
closed
1 year ago
0
Diagnostics and REPL
#15
bash
closed
1 year ago
0
Improve errors by using `cut_err` and `context`
#14
bash
closed
1 year ago
0
Parse abstractions with more than one variable
#13
bash
closed
1 year ago
0
Display impl should only add parens when needed
#12
bash
closed
1 year ago
0
Diagnostics
#11
bash
closed
1 year ago
0
Lower schematic definitions to NF expressions
#10
bash
closed
1 year ago
0
Parse schematic definitions
#9
bash
opened
1 year ago
0
Lower definitions to NF expressions
#8
bash
closed
1 year ago
0
Add debug information to namefree expressions
#7
bash
closed
1 year ago
1
Lower to namefree expressions
#6
bash
closed
1 year ago
0
Parse Basic Syntax
#5
bash
closed
1 year ago
0
Reduction on Namefree Expressions
#4
bash
closed
1 year ago
0
n-Ary Schematic Definitions
#3
bash
opened
1 year ago
0
Unicode symbols
#2
bash
opened
1 year ago
0
Parse Nominal Definitions
#1
bash
opened
1 year ago
2