search

jameshaydon / lawvere

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

Use more user-friendly terms #4

Closed jameshaydon closed 3 years ago

jameshaydon commented 3 years ago

E.g. don't use 'Freyd' in the language, but can use in docs.