remark-agda/remark-agda.agda-lib

2 lines
38 B
Text
Raw Permalink Normal View History

2024-09-12 23:38:07 +00:00
include: test
depend: standard-library