ref: a5afc67963c06c32c3cae99f558c261c71317595
parent: 3f7af2a4f9c9f042294c6e61117cc8fa3b87460a
author: Lennart Augustsson <lennart@augustsson.net>
date: Fri Apr 26 10:49:31 EDT 2024
GADTs
--- a/README.md
+++ b/README.md
@@ -49,6 +49,8 @@
* FlexibleInstance
* ForeignFunctionInterface
* FunctionalDependencies
+ * GADTs
+ * GADTsyntax
* IncoherentInstances
* KindSignatures
* MonoLocalBinds
--
⑨