From edd6f46b46ecdf6fd83c869c1b5eb292d2c50587 Mon Sep 17 00:00:00 2001 From: Garrett Mills Date: Mon, 12 Dec 2022 21:27:50 +0000 Subject: [PATCH] Update 'README.md' --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 93256c2..79b0d65 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ # gcdt -Musings on Generalized Commutative Data Types \ No newline at end of file +Musings on Generalized Commutative Data Types + +

This work by Garrett Mills is licensed under CC BY-NC-SA 4.0

\ No newline at end of file