meta-logic / sml-to-coq

A tool that translates SML code to Coq
GNU General Public License v3.0
6 stars 0 forks source link

Notations overload #3

Closed ammarkarkour closed 4 years ago

ammarkarkour commented 4 years ago

Make a file that uses type classes to solve the problem of Notations overload in Coq.

gisellemnr commented 4 years ago

Fixed by 547ea73ff1228b524b5bdcdd083eee0fa2f60bb0