GitHub repository: stefan-hoeck/idris2-sop
Primary language: Idris
Created: 2020-11-12T15:46:59Z
Description: Idris port of Haskell's sop-core library