GitHub / 0xd34df00d / fizzbuzz-i
FizzBuzz, formally verified, provably correct
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xd34df00d%2Ffizzbuzz-i
PURL: pkg:github/0xd34df00d/fizzbuzz-i
Stars: 27
Forks: 0
Open issues: 0
License: None
Language: Idris
Size: 28.3 KB
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: about 1 month ago
Pushed at: over 2 years ago
Last synced at: 8 days ago
Loading...