GitHub repository: sellout/Iaia
Primary language: Nix
Created: 2017-11-10T03:53:38Z
Description: A recursion scheme library for Idris.