GitHub repository: lemastero/Idris-Trifunctors
Primary language: Idris
Created: 2020-10-10T09:18:55Z
Description: Trifunctors in Idris