Skip to content

Commit

Permalink
fixup! Pickles: add README
Browse files Browse the repository at this point in the history
  • Loading branch information
dannywillems committed Jun 15, 2023
1 parent 9b22c9c commit 9ef9c93
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/lib/pickles/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ user-defined backend `Impl`.

## Coding guidelines

Functions related to computations are paremetrised by at least two types,
Functions related to computations are parametrised by at least two types,
suffixed respectively with `var` and `val`, which represent `in circuit` values
and `out circuit` values. When a type is supposed to encode a list at the type
level, a `s` is added to its name.
Expand Down Expand Up @@ -83,7 +83,7 @@ library. Refer to the file header for a content description:
- [`Side_loaded_verification_key`](side_loaded_verification_key.mli)
- [`Tag`](tag.mli)

## Ressources
## Resources

Some public videos you can find on YouTube describing the intial idea behind
Pickles. It might be outdated if the IOP is changed.
Expand Down

0 comments on commit 9ef9c93

Please sign in to comment.