solutions in Idris2 to problems described at projecteuler.net
Primary LanguageIdris
This repository is not active