Enabled assigning intrinsic functions to variables.

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

Enabled assigning intrinsic functions to variables. #68

Closed murisi closed 1 year ago

murisi commented 1 year ago

Enabled intrinsic functions like fresh, iter, and fold to be used as values and added an example exercising this functionality. Did this fix by adding a missing branch to a match statement.