-- SPDX-License-Identifier: MPL-2.0
-- Agda library file for ECHIDNA meta-checker
name: echidna-meta
depend: standard-library
include: src