mariari

It would be nice to have an interpeter for circuits, so we can submit code run the interpeter and give back data. This way we can write tests over our...

We should support string and string literals ## Strategies ### Using Arrays One way to compile strings is to have a byte array of ascii values, where each character is...

look into pretty printing for our data structures

1

Pretty pritning can be read about: https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node253.html https://gist.github.com/wobh/2c1a109e1e6dc2cdbc28 It would serve us much better than my current pretty printing techniques

## Idea It would be great to support `vamp-ir`'s [] abstraction ```ocaml // k-bit xor and def xor[k] x y -> z { ... } def and[k] x y ->...

Here is a reproducible example ```elixir @type failed() :: nonempty_improper_list(number(), number()) @spec foo() :: failed() def foo() do [2, 1 | 0] end ``` Ends up with the message ```bash...

I've added Erlang/Elixir [NIF](https://www.erlang.org/doc/tutorial/nif.html) integration into pasta curves using [rustler](https://github.com/rusterlium/rustler). The feature is feature flagged so it has no effect on the codebase when it is not in use. Tell...

NOT REAL

This is an example optimization pass. It is horribly coded, do not take it seriously, but do see the effect on the graphs https://pomf2.lain.la/f/txfbjekw.png

With the latest examples for the base geb morphisms and objects I was rather lazy in creating examples. It would be best if we diversified the examples making them unique...

Currently I'm not sharing artifacts so the CCL tests are not uploaded :(