hdiff
packages
feed
Agda
-2.3.2.2: examples/malformed/Empty.agda
module Empty where