Move infoShow to API.hs to avoid mutually recursive modules - Githubissues

HigherOrderCO / Kind

A modern proof language

https://higherorderco.com

MIT License

3.59k stars 142 forks source link

Move infoShow to API.hs to avoid mutually recursive modules #593

Closed developedby closed 1 month ago