Fix some typos - Githubissues

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

Closed striezel closed 1 year ago

striezel commented 1 year ago

This pull request fixes some typos. No functional changes intended.

jonaprieto commented 1 year ago

@striezel Please rebase your branch.

striezel commented 1 year ago

@striezel Please rebase your branch.

@jonaprieto Done.