Attempt to translate the code in Swierstra and Oury's "Power of Pi" paper to Idris
Primary LanguageIdris