Default commit message, part of an automated flow.

This commit is contained in:
2021-12-03 20:54:44 +01:00
parent 625ebfbd98
commit 326feff7ff
+2 -1
View File
@@ -2,5 +2,6 @@
- a [[thing]].
- [[flancia]] is taking the limit of a subset of [[protopoi]].
- [[transitive]].
- through [[recursion]] and [[transitivity]].
- a [[closure]].