The Nest
Explore
0
PLFA agda exercises 
import Data.Bool
import Relation.Nullary.Negation
import Relation.Nullary.Decidable