An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
Primary LanguageAgdaGNU General Public License v3.0GPL-3.0