Geeks
stefan-hoeck
/
idris2-pretty-show
Primary Language
Idris
BSD 2-Clause "Simplified" License
BSD-2-Clause
idris2-pretty-show GitHub
Markdown
Readme
1
Issue
6
Stargazers
3
Watchers
idris2-pretty-show