/agdarky

Agda suffices: software written from A to Z in Agda

Primary LanguageAgdaGNU General Public License v3.0GPL-3.0

agdarky

Agda suffices: software written from A to Z in Agda