GitHub repository: yellowsquid/idris-flap
Primary language: Idris
Description: An implementation of "A Typed Approach to Parsing" in idris