This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
from __future__ import with_statement | |
import os | |
import sys | |
import errno | |
from fuse import FUSE, FuseOSError, Operations | |
from subprocess import check_output |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-#LANGUAGE ScopedTypeVariables, TypeSynonymInstances, UndecidableInstances, FlexibleInstances, MultiParamTypeClasses, GADTs, DataKinds, PolyKinds, TypeOperators, ViewPatterns, PatternSynonyms, RankNTypes, FlexibleContexts, AutoDeriveTypeable #-} | |
module Carnap.Languages.ClassicalSequent.Syntax where | |
import Carnap.Core.Data.AbstractSyntaxClasses | |
import Carnap.Core.Data.AbstractSyntaxDataTypes | |
import Carnap.Core.Data.Util (checkChildren) | |
import Carnap.Core.Util | |
import Carnap.Core.Unification.Unification | |
import Carnap.Core.Unification.Combination | |
import Carnap.Core.Unification.FirstOrder |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-#LANGUAGE TypeOperators, KindSignatures, GADTs, TypeSynonymInstances, FlexibleInstances #-} | |
module MVL where | |
import Carnap.Core.Data.Types | |
import Carnap.Core.Data.Classes (Schematizable(..)) | |
--A kind annotation is needed to make sure Haskell understands the kind of `lang` | |
data Symbol :: (* -> *) -> * -> * where | |
Symbol :: String -> Symbol lang () |