Code

Functors merge doc cleanup#1509

Code

Merged

yav merged 2 commits intofunctors-mergeGaloisInc/cryptol:functors-mergefrom functors-merge-doc-cleanupGaloisInc/cryptol:functors-merge-doc-cleanupCopy head branch name to clipboardMar 24, 2023

+19-15

Commits

Commits on Mar 23, 2023

• cryptol module docs: tightened some writing, fixed some typos, and introduced the term 'functor' as it was used without definition.

  

  Ian Sweet

  committed
  6ee9220

Commits on Mar 24, 2023

• bring up to date with functors-merge

  

  Ian Sweet

  committed
  24a708b