View the project on GitHub

About

Welcome to the coq-show project website!

A clone of the Show class in Haskell.

This is an open source project, licensed under the BSD 3-Clause “New” or “Revised” License.

Help and contact

• Report issues on GitHub

Authors and contributors

• Leonidas Lampropoulos
• Maxime Dénès
• Cătălin Hrițcu
• Benjamin C. Pierce
• Li-yao Xia
• Yishuai Li