search

anoma / vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156 stars 44 forks source link

Write vamp-ir book #46

Open lopeetall opened 1 year ago

lopeetall commented 1 year ago

Details about using VampIR are hidden among the tests, which also serve as examples. Extract the instructive examples and write a detailed guide to writing VampIR functions, including how to use fresh, tuples, currying, mapping, etc.

AHartNtkn commented 1 year ago

I've started writing the book, and my progress can be found here.