jameshaydon / lawvere

A categorical programming language with effects
MIT License
267 stars 5 forks source link

README changes #7

Closed jkarni closed 3 years ago

jkarni commented 3 years ago

Nothing substantive added or removed, just some things clarified or simplified