https://github.com/casperbp/renamingless-capture-avoiding
Raw File
Tip revision: b6151854da6971c90f3db8212f3dd1c11286c44f authored by Casper Bach Poulsen on 31 January 2023, 12:41:24 UTC
Fix ccs
Tip revision: b615185
.agda-lib
name: substitution
depend: 
include:
  ./
  ./src/
  ./lib/agda-stdlib/src/

back to top