UU-ComputerScience/uhc — pull request #33 by phile314 (2014-11-21 13:03:19+00:00)
Title: Second half of Core API (CTags, Parsers, Pretty Printers)

Adds all the missing bits I needs for the Agda backend. Wasn't sure where to put the CTag things,
maybe this should be moved to Base/API.chs ?