add commands to add/remove concrete syntaxes

This commit is contained in:
krangelov
2021-12-24 13:56:27 +01:00
parent 67a7e928f6
commit cb10e2fe32
4 changed files with 21 additions and 6 deletions

View File

@@ -16,10 +16,12 @@ data Command
data TransactionCommand
= CreateFun [Option] Fun Type
| CreateCat [Option] Cat [Hypo]
| CreateConcrete [Option] ConcName
| CreateLin [Option] Fun Term
| CreateLincat [Option] Cat Term
| DropFun [Option] Fun
| DropCat [Option] Cat
| DropConcrete [Option] ConcName
| DropLin [Option] Fun
| DropLincat [Option] Cat
deriving Show