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 #177

Closed rex4539 closed 7 months ago

rex4539 commented 7 months ago

@mariari Could you take a look?

mariari commented 7 months ago

I'll look at it later, I have to change it up a bit, so I'm going to merge it at a later point

mariari commented 7 months ago

Meged in: https://github.com/anoma/geb/commit/b56a635f184cb4fb4de900afa0a27421d773bd37