GitHub repository: vmchale/recursion_schemes
Primary language: Idris
Created: 2017-07-14T02:24:42Z
Description: Recursion schemes for Idris