Jan Mas Rovira 39d176e643 Fast nockma eval (#2580) ... Adds annotations to cells to indicate that it is a call to the stdlib and might be evaluated faster in the Haskell evaluator. The syntax for stdlib calls is as follows: ``` [stdlib@add args@<args-term> <left-term> <right-term>] ``` where `add` is the name of the function being called, `<args-term>` is a nockma term that points to the position of the arguments, and `<left-term>` and `<right-term>` are the actual components of the cell.		2024-01-19 12:01:58 +01:00
..
ISSUE_TEMPLATE	Add new README and md files (#1904)	2023-03-21 20:01:48 +01:00
workflows	Fast nockma eval (#2580)	2024-01-19 12:01:58 +01:00
pull_request_template.md	Remove docs related files (#2023)	2023-04-21 19:05:24 +02:00