packages feed

Agda-2.3.2.2: examples/relocatable/originals/A.agda

module A where

postulate A : Set