GitHub repository: stefan-hoeck/idris2-elab-util
Primary language: Idris
Created: 2020-10-25T09:50:04Z
Description: Utilities and documentation for exploring idirs2's new elaborator reflection.