packages feed

Agda-2.3.2.2: examples/outdated-and-incorrect/iird/Dummy.agda

module Dummy where