Historie revizí

Autor SHA1 Zpráva Datum
  ada 61d5caa090 added public and private symbols před 6 roky
  ada 13cda2df78 update todo před 6 roky
  ada fa798a8ba5 added Constraint Instructions and Variables from ZKVM to lisp env před 6 roky
  ada f4dd5cf7ad added readme před 6 roky
  ada 4d6b06b579 added TODO.md for lisp před 6 roky