search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Export mkQualified and mkUnqualified from HERMIT.Name #153

Closed conal closed 8 years ago

conal commented 8 years ago

For #151.

conal commented 8 years ago

I don't know why those old merges are included. Probably something I don't understand about git or GitHub.