update readme

KonjacSource · Sep 20, 2024 · cd387ba · cd387ba
1 parent 701f3a3
commit cd387ba
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -28,6 +28,7 @@ ghci> run "Eaxmple.shitt"
 - [x] Evaluation by HOAS
 - [x] Meta variables and implict arugments (pattern unification)
 - [x] Pattern matching and data type
+- [x] Absurd patterns.
 - [x] Coverage checking
 - [x] Without K
 - [x] [Syntax Highlight](https://github.com/KonjacSource/shitt-highlight)

diff --git a/src/ShiTT/Syntax.hs b/src/ShiTT/Syntax.hs
@@ -42,8 +42,6 @@ data Raw
   | SrcPos SourcePos Raw
   | Hole
 
-
-
 instance Show Raw where 
   show = show . toV where 
     toIcit = \case