GitHub repository: julianpeeters/polynomial
Primary language: Scala
Created: 2023-11-29T03:38:10Z
Description: The category of Poly, simply typed.