blog/blog.agda-lib

4 lines
59 B
Plaintext
Raw Normal View History

2022-09-26 17:58:51 +00:00
name: blog
depend: standard-library
include: content/posts