/OrdinalNotations

An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

Primary LanguageAgdaGNU General Public License v3.0GPL-3.0

Issues