search

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://docs.argument.xyz
MIT License
47 stars 3 forks source link

Eliminate `eqq` #344

Open arthurpaulino opened 1 month ago

arthurpaulino commented 1 month ago

The eqq built-in can be dropped. That should decrease a few columns in some chips.