Giters
advancedresearch
/
last_order_logic
An experimental logical language
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
4
Issues:
22
Forks:
1
advancedresearch/last_order_logic Issues
Add cumulative type hierarchy
Updated
2 years ago
Comments count
1
Add enumeration over exponentials
Updated
2 years ago
Add `f^n` notation
Updated
2 years ago
Add natural numbers
Updated
2 years ago
Use un-blocking parsing rule for binary operators
Updated
3 years ago
Add parsing benchmarks
Updated
3 years ago
Add support for packed loops
Updated
3 years ago
Add accessor functions on path indexing
Updated
3 years ago
Add secrets to `nu(...)`
Updated
3 years ago
Support markdown format
Closed
3 years ago
Support for multi-line comments
Closed
3 years ago
Add reload
Closed
3 years ago
Add support for clearing definitions
Closed
3 years ago
Add import of definitions from file
Closed
3 years ago
Proving identity of triangles rotated 3 times
Updated
3 years ago
Make it possible to declare functions in REPL
Closed
3 years ago
Add `type(...)` expression
Closed
3 years ago
Add function types
Updated
3 years ago
Paths vs functions
Updated
3 years ago
Prove that universal and existential quantifier become one for higher dimensional truth values
Updated
3 years ago
Print out separator in REPL on empty input
Closed
3 years ago
Add error check when type of arguments are missing
Closed
3 years ago
Comments count
1