GitHub repository: lemastero/agda2scala
Primary language: Haskell
Created: 2023-11-20T10:57:49Z
Description: Scala 2 and Scala 3 backend for Agda