/idris-fizzbuzz

Formally-proven FizzBuzz in Idris

Primary LanguageIdrisMIT LicenseMIT

Issues