GitHub repository: stefan-hoeck/idris2-tailrec
Primary language: Idris
Created: 2021-09-08T03:52:22Z
Description: Provably total, tail-call optimized monadic recursion in Idris2