blog/blog.agda-lib
2023-10-12 17:22:58 -05:00

2 lines
56 B
Text

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