GitHub repository: stefan-hoeck/idris2-experimental
Primary language: Idris
Created: 2021-05-24T13:04:32Z
Description: Experimenting with recent additions to the Idris2 compiler