cbpv.agda-lib - yellowsquid/cbpv-soas-and-frex.git - [no description]

summary refs log tree commit diff

path: root/cbpv.agda-lib

blob: 204d880ba4569edf890688b5de468591544bfac7 (plain)

name: cbpv
depend: standard-library
include: src
flags: --without-K