Merge branch 'master' of github.com:augustss/MicroHs

augustss · Mar 25, 2024 · b9f0554 · b9f0554
2 parents 20490c2 + ef1b2c7
commit b9f0554
Show file tree

Hide file tree

Showing 4 changed files with 4,007 additions and 4,008 deletions.
diff --git a/README.md b/README.md
@@ -41,6 +41,7 @@ Differences:
  * Always enabled extension:
    * BangPatterns
    * ConstraintKinds
+   * DoAndIfThenElse
    * DuplicateRecordFields
    * EmptyDataDecls
    * ExistentialQuantification