Skip to content
Snippets Groups Projects

Theory parser

Merged Elisabeth.Stenholm requested to merge theory-parser into master
11 files
+ 212
32
Compare changes
  • Side-by-side
  • Inline
Files
11
+ 12
8
@@ -52,18 +52,20 @@ library
-- Modules exported by the library.
exposed-modules: Judgement
,Judgement.AST
,Judgement.Monad
,Judgement.Parser
,Judgement.Referee
,Judgement.Monad
,Sequent
,Sequent.AST
,Sequent.Monad
,Sequent.Parser
,Sequent.Referee
,Sequent.Monad
,Theory
,Theory.Referee
,Theory.Monad
,Theory.AST
,Theory.Examples
,Theory.Monad
,Theory.Parser
,Theory.Referee
,Util.AST
,Util.Monad
,Util.Parser
@@ -100,18 +102,20 @@ executable myott
-- Modules included in this executable, other than Main.
other-modules: Judgement
,Judgement.AST
,Judgement.Monad
,Judgement.Parser
,Judgement.Referee
,Judgement.Monad
,Sequent
,Sequent.AST
,Sequent.Monad
,Sequent.Parser
,Sequent.Referee
,Sequent.Monad
,Theory
,Theory.Referee
,Theory.Monad
,Theory.AST
,Theory.Examples
,Theory.Monad
,Theory.Parser
,Theory.Referee
,Util.AST
,Util.Monad
,Util.Parser
Loading