update readme

KonjacSource · Oct 24, 2024 · 74af12a · 74af12a
1 parent 9c45b4e
commit 74af12a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -41,6 +41,7 @@ ghci> run "Eaxmple.shitt"
 
 ## TODO
 
+- [ ] OTT
 - [ ] Operators
 - [ ] Universe polymorphism
 - [ ] Positive checking for data types

diff --git a/shitt.cabal b/shitt.cabal
@@ -26,6 +26,7 @@ source-repository head
 library
   exposed-modules:
       Common
+      Draft
       ShiTT.Check
       ShiTT.CheckFunction
       ShiTT.Context
@@ -38,7 +39,6 @@ library
       ShiTT.Termination.Check
       ShiTT.Termination.Ord
       ShiTT.TermParser
-      Test
   other-modules:
       Paths_shitt
   autogen-modules:

diff --git a/src/Test.hs → src/Draft.hs b/src/Test.hs → src/Draft.hs
@@ -2,7 +2,7 @@
 {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
 {-# OPTIONS_GHC -Wno-type-defaults #-}
 -- {-# OPTIONS_GHC -Wno-incomplete-patterns #-}
-module Test where 
+module Draft where 
 -- import ShiTT.Syntax
 -- import ShiTT.Eval
 -- import ShiTT.Context

diff --git a/src/ShiTT/TermParser.hs b/src/ShiTT/TermParser.hs
@@ -1,3 +1,4 @@
+-- | Parser single term. This is for test.
 module ShiTT.TermParser where 
 
 import Control.Applicative hiding (many, some)
-Original file line number
+Diff line change
@@ Expand Up / @@ -41,6 +41,7 @@ ghci> run "Eaxmple.shitt" @@
     ## TODO
+    - [ ] OTT
     - [ ] Operators
     - [ ] Universe polymorphism
     - [ ] Positive checking for data types
@@ Expand Down @@