GitHub repository: ncfavier/glam
Primary language: Haskell
Description: Polymorphic guarded λ-calculus