blog/blog.agda-lib
2023-02-04 01:21:21 -06:00

4 lines
59 B
Plaintext

name: blog
depend: standard-library
include: content/posts