blog/blog.agda-lib

2 lines
56 B
Text

include: src/posts src
depend: standard-library cubical