cfe-proof.agda-lib - yellowsquid/cfe-proof.git - [no description]

summary refs log tree commit diff

path: root/cfe-proof.agda-lib

blob: 488beba86ce5d240f18c5ec119f83bd97bc208d3 (plain)

name: cfe-proof
depend: standard-library
include: src
flags: --safe --without-K