GitHub repository: stefan-hoeck/idris2-parser
Primary language: Idris
Created: 2023-01-03T07:15:19Z
Description: Total lexer and parser for Idris2