GitHub repository: ravenrothkopf/slyce
Primary language: Haskell
Created: 2023-04-09T17:00:32Z
Description: a dependently typed toy language for TLC 2023