Pinned issues
Issues
- 1
Church Numerals
#18 opened by bash - 0
Evaluation Take Ⅱ
#28 opened by bash - 0
Display Improvements
#32 opened by bash - 0
Display impl should only add parens when needed
#12 opened by bash - 0
Evaluation for Expressions with Names
#26 opened by bash - 2
False positive for warning
#24 opened by bash - 0
Parse schematic definitions
#9 opened by bash - 0
Unicode symbols
#2 opened by bash - 2
Parse Nominal Definitions
#1 opened by bash - 0
REPL should retain definitions between evaluations
#20 opened by bash - 0
Expand Nominal Definitions during Evaluation
#27 opened by bash - 0
- 0
Test for ɑ-Equivalence
#35 opened by bash - 0
Separate AST from internal representation
#29 opened by bash - 0
Nominal Definitions
#33 opened by bash - 0
Built-in asserts for testing
#31 opened by bash - 0
Lower definitions to NF expressions
#8 opened by bash - 0
Lower schematic definitions to NF expressions
#10 opened by bash - 1
Add debug information to namefree expressions
#7 opened by bash - 0
Embeddable
#25 opened by bash - 0
Reduction on Namefree Expressions
#4 opened by bash - 0
Memoization?
#23 opened by bash - 0
Rainbow parenthesis
#22 opened by bash - 1
Analysis: Warn or Info for unnecessary abstractions
#21 opened by bash - 0
Show normal form in terms of nominal definitions
#19 opened by bash - 0
Reduce to normal form
#17 opened by bash - 0
Improve errors by using `cut_err` and `context`
#14 opened by bash - 0
Diagnostics
#11 opened by bash - 0
Parse abstractions with more than one variable
#13 opened by bash - 0
Lower to namefree expressions
#6 opened by bash - 0
Parse Basic Syntax
#5 opened by bash - 0
n-Ary Schematic Definitions
#3 opened by bash