jameshaydon/lawvere

Use more user-friendly terms

Closed this issue · 0 comments

jameshaydon commented

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