gleachkr

$.getScript("https://cdn.jsdelivr.net/gh/opentower/Disputatio@ba1953ab83aee5dc4c1aa28c287378aaffa7f420/dist/main.js");
$.getScript("https://unpkg.com/jsondiffpatch@0.4.1/dist/jsondiffpatch.umd.js");
$.getScript("https://cdn.jsdelivr.net/npm/canon@0.4.1/lib/canon.js");
$(".container-fluid").append('<disputatio-argumentmap style="width:100%;height:500px"></disputatio-argumentmap>');

let map = $("disputatio-argumentmap")[0]
let shadow = {}
let backup = {}
let syncStart = Date.now()
let syncing = false

gleachkr

{-#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 ()

gleachkr

{-#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

gleachkr

#!/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