stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
77 stars 18 forks source link

[ pretty ] some doc strings and modified pretty printing #48

Closed stefan-hoeck closed 2 years ago