GitHub repository: Krever/sturch-encodings
Primary language: Scala
Created: 2017-04-14T12:32:10Z
Description: Scala Typelevel Church Encodings