search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Basic Show instance of NameMap #312

Closed fabianhjr closed 4 years ago

fabianhjr commented 4 years ago

This is helping me log and understand how hints change in some places, it is barebones and probably not as well formatted.

edwinb commented 4 years ago

Seems like a useful thing to have available, ta.