search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Fix: typos #40

Closed omahs closed 1 year ago

omahs commented 1 year ago

Fix: typos

mariari commented 1 year ago

Thank you for your patch