Agda.Interaction.GhcTop

mimicGHCi