GitHub repository: torstein-vik/zeta-types-scala
Primary language: Scala
Created: 2017-10-22T22:12:03Z
Description: Implementation of Zeta Types / Tannakian Symbols in scala