Commit History

Autor SHA1 Mensaxe Data
  ada 61d5caa090 added public and private symbols %!s(int64=6) %!d(string=hai) anos
  ada 13cda2df78 update todo %!s(int64=6) %!d(string=hai) anos
  ada fa798a8ba5 added Constraint Instructions and Variables from ZKVM to lisp env %!s(int64=6) %!d(string=hai) anos
  ada f4dd5cf7ad added readme %!s(int64=6) %!d(string=hai) anos
  ada 4d6b06b579 added TODO.md for lisp %!s(int64=6) %!d(string=hai) anos