ref: b0ba3d89bb90cb2706143ab47e87bb6f06f93e4a
parent: 309bf281c111cc05be30e4b4e2efdb416440c43d
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Wed Nov 15 18:45:35 EST 2023
Update
--- a/README.md
+++ b/README.md
@@ -34,11 +34,11 @@
* The `Prelude` has to be imported explicitly.
* Polymorphic types are never inferred; use a type signature if you need it.
* Always enabled extension:
+ * ConstraintKinds
* EmptyDataDecls
* FlexibleContexts
* FlexibleInstance
* ForeignFunctionInterface
- * Not yet! FunctionalDependencies
* IncoherentInstances
* KindSignatures
* MonoLocalBinds
@@ -54,6 +54,9 @@
* TypeSynonymInstances
* UndecidableInstances
* UndecidableSuperClasses
+ * In the works
+ * FunctionalDependencies
+ * ExistentialQuantification
* `main` in the top module given to `mhs` serves at the program entry point.
## Example
--
⑨