Add 'Smart case' to readme

ollef · Feb 5, 2024 · 5cbf642 · 5cbf642
1 parent 58e9a45
commit 5cbf642
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -55,6 +55,7 @@ Might go into [Sixten](https://github.com/ollef/sixten) one day.
   - [x] Redundant pattern check
   - [x] Clause elaboration
   - [x] Pattern lambdas
+  - [x] Smart case
 - [x] Inductive families
 - [x] Glued evaluation
 - [x] Let definitions by clauses