/ooAgda

Interactive and object-oriented programming in Agda using coinductive types

Primary LanguageAgdaMIT LicenseMIT

Stargazers