search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Finish printable type class #12

Closed Twigonometry closed 2 years ago

Twigonometry commented 2 years ago

Finish implementations of printable type class so we can do full polymorphism with string_of function (for all currently supported types)

Twigonometry commented 2 years ago

We cannot have two instances of string_of_nat, so string_of_digit remains without an implementation. All other functions are implemented, so closing. Hoping that this causes no issues in future. See 48617191