GitHub repository: lombardo-chcg/tlp
Primary language: Scala
Created: 2018-11-21T07:16:40Z
Description: type-level playground: experiments in compile-time programming in scala