rename dependent relation type to REL (instead of ΠΡ)

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

https://ualib.github.io/agda-algebras/

Creative Commons Attribution Share Alike 4.0 International

28 stars 7 forks source link

Closed williamdemeo closed 2 years ago

williamdemeo commented 2 years ago

This also fixes some problems with the documentation, which referred to older names of certain functions or types.

These edits are not related to the paper revisions but had to be done today to facilitate an anticipated discussion about relation types.