├── .gitattributes ├── .github └── workflows │ └── haskell.yml ├── .gitignore ├── Expt ├── Agen │ ├── Basics.agda │ ├── Bind.agda │ ├── Cop.agda │ ├── Examples.agda │ ├── MangleActors.agda │ ├── Mangler.agda │ ├── Pair.agda │ ├── Pat.agda │ ├── Pub.agda │ ├── Solve.agda │ ├── Term.agda │ ├── Thin.agda │ └── cdb.agda-lib └── CdBsb.agda ├── Makefile ├── README.md ├── Src ├── ANSI.hs ├── Actor.hs ├── Actor │ └── Display.hs ├── Alarm.hs ├── Bwd.hs ├── Command.hs ├── Concrete │ ├── Base.hs │ ├── Parse.hs │ └── Pretty.hs ├── Display.hs ├── Doc │ └── Annotations.hs ├── Elaboration.hs ├── Elaboration │ ├── Monad.hs │ └── Pretty.hs ├── Forget.hs ├── Format.hs ├── Hide.hs ├── Info.hs ├── LaTeX.hs ├── Location.hs ├── Machine.hs ├── Machine │ ├── Base.hs │ ├── Display.hs │ ├── Exec.hs │ ├── Matching.hs │ ├── Steps.hs │ └── Trace.hs ├── Main.hs ├── Operator.hs ├── Operator │ └── Eval.hs ├── Options.hs ├── Parse.hs ├── Pattern.hs ├── Pattern │ └── Coverage.hs ├── Pretty.hs ├── Scope.hs ├── Semantics.hs ├── Syntax.hs ├── Syntax │ └── Debug.hs ├── Term.hs ├── Term │ ├── Base.hs │ ├── Display.hs │ ├── Mangler.hs │ └── Substitution.hs ├── Thin.hs ├── Unelaboration.hs ├── Unelaboration │ └── Monad.hs ├── Utils.hs └── Vector.hs ├── TODO.md ├── cabal.project.local ├── emacs ├── emacs └── typos.el ├── examples ├── elaboration.act ├── golden │ ├── README.gold │ ├── Roadmap.gold │ ├── elaboration.gold │ ├── krivine.gold │ ├── krivine2.gold │ ├── mltt.gold │ ├── mltt2.gold │ ├── mlttEta.gold │ ├── mlttList.gold │ ├── stlc.gold │ ├── stlc2.gold │ ├── stlc3.gold │ ├── stlc4.gold │ ├── stlctpp.gold │ ├── stlctpp2.gold │ └── untyped.gold ├── krivine.act ├── krivine2.act ├── mltt.act ├── mltt2.act ├── mlttEta.act ├── mlttList.act ├── stlc.act ├── stlc2.act ├── stlc3.act ├── stlc4.act ├── stlctpp.act ├── stlctpp2.act ├── stlctpp2.flags └── untyped.act ├── failing └── mltt_krivine.act ├── papers ├── 2022-SPLS │ ├── Roadmap.md │ └── stuck.act └── 2022-TYPES │ ├── Makefile │ ├── easychair.cls │ ├── golden │ ├── krivine2.gold │ ├── mlttEta.gold │ ├── mlttList.gold │ ├── stlc-in-abstract.gold │ ├── stlc.gold │ └── untyped.gold │ ├── stlc-in-abstract.act │ ├── talk │ ├── examples │ │ ├── build │ │ │ ├── notations.tex │ │ │ └── notations2.tex │ │ ├── krivine2.act │ │ ├── mlttEta.act │ │ ├── mlttList.act │ │ ├── stlc.act │ │ └── untyped.act │ ├── pictures │ │ ├── actors │ │ │ ├── conor.jpg │ │ │ ├── craig-cropped.jpg │ │ │ ├── craig.jpg │ │ │ ├── gallais.jpg │ │ │ ├── georgi.jpg │ │ │ └── malin.eps │ │ ├── globe.jpg │ │ └── graslin.jpg │ ├── stlc-animated.tex │ └── typOS_TYPES2022.tex │ ├── types.tex │ └── typos.bib ├── stack.yaml ├── test ├── Test │ └── Main.hs ├── app-operator-fail.act ├── app-operator.act ├── as-patterns.act ├── barred-atom-pattern.act ├── barred-atom.act ├── binders.act ├── case-pair-failing.act ├── case-pair.act ├── case-proposal.act ├── case-tuples-failing.act ├── case-tuples.act ├── channelvar-fail.act ├── citizens.act ├── citizens.flags ├── communicating-pairs.act ├── communication-fail.act ├── coverage.act ├── coverage.flags ├── covered.act ├── covered.flags ├── define-operator.act ├── define-operator.flags ├── elab-channel-failing.act ├── elab-push-failing.act ├── elab-send-failing.act ├── golden │ ├── app-operator-fail.gold │ ├── app-operator.gold │ ├── as-patterns.gold │ ├── barred-atom-pattern.gold │ ├── barred-atom.gold │ ├── binders.gold │ ├── case-pair-failing.gold │ ├── case-pair.gold │ ├── case-proposal.gold │ ├── case-tuples-failing.gold │ ├── case-tuples.gold │ ├── channelvar-fail.gold │ ├── citizens.gold │ ├── communicating-pairs.gold │ ├── communication-fail.gold │ ├── coverage.gold │ ├── covered.gold │ ├── define-operator.gold │ ├── elab-channel-failing.gold │ ├── elab-push-failing.gold │ ├── elab-send-failing.gold │ ├── let-binders.gold │ ├── losing-finishes.gold │ ├── multi-fail.gold │ ├── multibind.gold │ ├── no-space.gold │ ├── not-actorvar-fail.gold │ ├── operator-elab-fail-2.gold │ ├── operator-elab-fail-3.gold │ ├── operator-elab-fail-4.gold │ ├── operator-elab-fail.gold │ ├── operator-fail.gold │ ├── parse-fail-2.gold │ ├── parse-fail-3.gold │ ├── parse-fail.gold │ ├── plumbing.gold │ ├── printing-open.gold │ ├── printing-open2.gold │ ├── printing.gold │ ├── reduce-neutrals-2.gold │ ├── reduce-neutrals.gold │ ├── reserved-keyword.gold │ ├── restarting.gold │ ├── scope-fail.gold │ ├── semanticPi.gold │ ├── shadowed-pattern.gold │ ├── shadowing-fail.gold │ ├── spop-fail.gold │ ├── spop-top-fail.gold │ ├── stlcDidNotWin.gold │ ├── stuckguard.gold │ ├── subject-as-pattern-fail.gold │ ├── subject-scrutinising-fail.gold │ ├── syntax-fail.gold │ ├── syntaxcat-fail.gold │ ├── toonice.gold │ ├── two-fail.gold │ ├── type-projection.gold │ ├── typecheck.gold │ ├── unfinished.gold │ └── unsolved-meta.gold ├── let-binders.act ├── losing-finishes.act ├── multi-fail.act ├── multibind.act ├── no-space.act ├── not-actorvar-fail.act ├── operator-elab-fail-2.act ├── operator-elab-fail-3.act ├── operator-elab-fail-4.act ├── operator-elab-fail.act ├── operator-fail.act ├── parse-fail-2.act ├── parse-fail-3.act ├── parse-fail.act ├── plumbing.act ├── printing-open.act ├── printing-open2.act ├── printing.act ├── printing.flags ├── reduce-neutrals-2.act ├── reduce-neutrals-2.flags ├── reduce-neutrals.act ├── reduce-neutrals.flags ├── reserved-keyword.act ├── restarting.act ├── scope-fail.act ├── semanticPi.act ├── shadowed-pattern.act ├── shadowing-fail.act ├── spop-fail.act ├── spop-top-fail.act ├── stlcDidNotWin.act ├── stlcDidNotWin.flags ├── stuckguard.act ├── subject-as-pattern-fail.act ├── subject-scrutinising-fail.act ├── syntax-fail.act ├── syntaxcat-fail.act ├── toonice.act ├── two-fail.act ├── two-fail.flags ├── type-projection.act ├── typecheck.act ├── unfinished.act ├── unfinished.flags └── unsolved-meta.act └── typos.cabal /.gitattributes: -------------------------------------------------------------------------------- 1 | *.gold -text 2 | -------------------------------------------------------------------------------- /.github/workflows/haskell.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/.github/workflows/haskell.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/.gitignore -------------------------------------------------------------------------------- /Expt/Agen/Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Basics.agda -------------------------------------------------------------------------------- /Expt/Agen/Bind.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Bind.agda -------------------------------------------------------------------------------- /Expt/Agen/Cop.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Cop.agda -------------------------------------------------------------------------------- /Expt/Agen/Examples.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Examples.agda -------------------------------------------------------------------------------- /Expt/Agen/MangleActors.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/MangleActors.agda -------------------------------------------------------------------------------- /Expt/Agen/Mangler.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Mangler.agda -------------------------------------------------------------------------------- /Expt/Agen/Pair.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Pair.agda -------------------------------------------------------------------------------- /Expt/Agen/Pat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Pat.agda -------------------------------------------------------------------------------- /Expt/Agen/Pub.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Pub.agda -------------------------------------------------------------------------------- /Expt/Agen/Solve.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Solve.agda -------------------------------------------------------------------------------- /Expt/Agen/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Term.agda -------------------------------------------------------------------------------- /Expt/Agen/Thin.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/Thin.agda -------------------------------------------------------------------------------- /Expt/Agen/cdb.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/Agen/cdb.agda-lib -------------------------------------------------------------------------------- /Expt/CdBsb.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Expt/CdBsb.agda -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/README.md -------------------------------------------------------------------------------- /Src/ANSI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/ANSI.hs -------------------------------------------------------------------------------- /Src/Actor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Actor.hs -------------------------------------------------------------------------------- /Src/Actor/Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Actor/Display.hs -------------------------------------------------------------------------------- /Src/Alarm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Alarm.hs -------------------------------------------------------------------------------- /Src/Bwd.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Bwd.hs -------------------------------------------------------------------------------- /Src/Command.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Command.hs -------------------------------------------------------------------------------- /Src/Concrete/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Concrete/Base.hs -------------------------------------------------------------------------------- /Src/Concrete/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Concrete/Parse.hs -------------------------------------------------------------------------------- /Src/Concrete/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Concrete/Pretty.hs -------------------------------------------------------------------------------- /Src/Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Display.hs -------------------------------------------------------------------------------- /Src/Doc/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Doc/Annotations.hs -------------------------------------------------------------------------------- /Src/Elaboration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Elaboration.hs -------------------------------------------------------------------------------- /Src/Elaboration/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Elaboration/Monad.hs -------------------------------------------------------------------------------- /Src/Elaboration/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Elaboration/Pretty.hs -------------------------------------------------------------------------------- /Src/Forget.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Forget.hs -------------------------------------------------------------------------------- /Src/Format.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Format.hs -------------------------------------------------------------------------------- /Src/Hide.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Hide.hs -------------------------------------------------------------------------------- /Src/Info.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Info.hs -------------------------------------------------------------------------------- /Src/LaTeX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/LaTeX.hs -------------------------------------------------------------------------------- /Src/Location.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Location.hs -------------------------------------------------------------------------------- /Src/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine.hs -------------------------------------------------------------------------------- /Src/Machine/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine/Base.hs -------------------------------------------------------------------------------- /Src/Machine/Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine/Display.hs -------------------------------------------------------------------------------- /Src/Machine/Exec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine/Exec.hs -------------------------------------------------------------------------------- /Src/Machine/Matching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine/Matching.hs -------------------------------------------------------------------------------- /Src/Machine/Steps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine/Steps.hs -------------------------------------------------------------------------------- /Src/Machine/Trace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Machine/Trace.hs -------------------------------------------------------------------------------- /Src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Main.hs -------------------------------------------------------------------------------- /Src/Operator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Operator.hs -------------------------------------------------------------------------------- /Src/Operator/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Operator/Eval.hs -------------------------------------------------------------------------------- /Src/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Options.hs -------------------------------------------------------------------------------- /Src/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Parse.hs -------------------------------------------------------------------------------- /Src/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Pattern.hs -------------------------------------------------------------------------------- /Src/Pattern/Coverage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Pattern/Coverage.hs -------------------------------------------------------------------------------- /Src/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Pretty.hs -------------------------------------------------------------------------------- /Src/Scope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Scope.hs -------------------------------------------------------------------------------- /Src/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Semantics.hs -------------------------------------------------------------------------------- /Src/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Syntax.hs -------------------------------------------------------------------------------- /Src/Syntax/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Syntax/Debug.hs -------------------------------------------------------------------------------- /Src/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Term.hs -------------------------------------------------------------------------------- /Src/Term/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Term/Base.hs -------------------------------------------------------------------------------- /Src/Term/Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Term/Display.hs -------------------------------------------------------------------------------- /Src/Term/Mangler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Term/Mangler.hs -------------------------------------------------------------------------------- /Src/Term/Substitution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Term/Substitution.hs -------------------------------------------------------------------------------- /Src/Thin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Thin.hs -------------------------------------------------------------------------------- /Src/Unelaboration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Unelaboration.hs -------------------------------------------------------------------------------- /Src/Unelaboration/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Unelaboration/Monad.hs -------------------------------------------------------------------------------- /Src/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Utils.hs -------------------------------------------------------------------------------- /Src/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/Src/Vector.hs -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/TODO.md -------------------------------------------------------------------------------- /cabal.project.local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/cabal.project.local -------------------------------------------------------------------------------- /emacs/emacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/emacs/emacs -------------------------------------------------------------------------------- /emacs/typos.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/emacs/typos.el -------------------------------------------------------------------------------- /examples/elaboration.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/elaboration.act -------------------------------------------------------------------------------- /examples/golden/README.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/README.gold -------------------------------------------------------------------------------- /examples/golden/Roadmap.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/Roadmap.gold -------------------------------------------------------------------------------- /examples/golden/elaboration.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/elaboration.gold -------------------------------------------------------------------------------- /examples/golden/krivine.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/krivine.gold -------------------------------------------------------------------------------- /examples/golden/krivine2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/krivine2.gold -------------------------------------------------------------------------------- /examples/golden/mltt.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/mltt.gold -------------------------------------------------------------------------------- /examples/golden/mltt2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/mltt2.gold -------------------------------------------------------------------------------- /examples/golden/mlttEta.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/mlttEta.gold -------------------------------------------------------------------------------- /examples/golden/mlttList.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/mlttList.gold -------------------------------------------------------------------------------- /examples/golden/stlc.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/stlc.gold -------------------------------------------------------------------------------- /examples/golden/stlc2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/stlc2.gold -------------------------------------------------------------------------------- /examples/golden/stlc3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/stlc3.gold -------------------------------------------------------------------------------- /examples/golden/stlc4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/stlc4.gold -------------------------------------------------------------------------------- /examples/golden/stlctpp.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/stlctpp.gold -------------------------------------------------------------------------------- /examples/golden/stlctpp2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/stlctpp2.gold -------------------------------------------------------------------------------- /examples/golden/untyped.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/golden/untyped.gold -------------------------------------------------------------------------------- /examples/krivine.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/krivine.act -------------------------------------------------------------------------------- /examples/krivine2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/krivine2.act -------------------------------------------------------------------------------- /examples/mltt.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/mltt.act -------------------------------------------------------------------------------- /examples/mltt2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/mltt2.act -------------------------------------------------------------------------------- /examples/mlttEta.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/mlttEta.act -------------------------------------------------------------------------------- /examples/mlttList.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/mlttList.act -------------------------------------------------------------------------------- /examples/stlc.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/stlc.act -------------------------------------------------------------------------------- /examples/stlc2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/stlc2.act -------------------------------------------------------------------------------- /examples/stlc3.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/stlc3.act -------------------------------------------------------------------------------- /examples/stlc4.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/stlc4.act -------------------------------------------------------------------------------- /examples/stlctpp.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/stlctpp.act -------------------------------------------------------------------------------- /examples/stlctpp2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/stlctpp2.act -------------------------------------------------------------------------------- /examples/stlctpp2.flags: -------------------------------------------------------------------------------- 1 | --no-colour --quiet --wAll 2 | -------------------------------------------------------------------------------- /examples/untyped.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/examples/untyped.act -------------------------------------------------------------------------------- /failing/mltt_krivine.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/failing/mltt_krivine.act -------------------------------------------------------------------------------- /papers/2022-SPLS/Roadmap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-SPLS/Roadmap.md -------------------------------------------------------------------------------- /papers/2022-SPLS/stuck.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-SPLS/stuck.act -------------------------------------------------------------------------------- /papers/2022-TYPES/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/Makefile -------------------------------------------------------------------------------- /papers/2022-TYPES/easychair.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/easychair.cls -------------------------------------------------------------------------------- /papers/2022-TYPES/golden/krivine2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/golden/krivine2.gold -------------------------------------------------------------------------------- /papers/2022-TYPES/golden/mlttEta.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/golden/mlttEta.gold -------------------------------------------------------------------------------- /papers/2022-TYPES/golden/mlttList.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/golden/mlttList.gold -------------------------------------------------------------------------------- /papers/2022-TYPES/golden/stlc-in-abstract.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/golden/stlc-in-abstract.gold -------------------------------------------------------------------------------- /papers/2022-TYPES/golden/stlc.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/golden/stlc.gold -------------------------------------------------------------------------------- /papers/2022-TYPES/golden/untyped.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/golden/untyped.gold -------------------------------------------------------------------------------- /papers/2022-TYPES/stlc-in-abstract.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/stlc-in-abstract.act -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/build/notations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/build/notations.tex -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/build/notations2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/build/notations2.tex -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/krivine2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/krivine2.act -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/mlttEta.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/mlttEta.act -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/mlttList.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/mlttList.act -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/stlc.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/stlc.act -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/examples/untyped.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/examples/untyped.act -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/actors/conor.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/actors/conor.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/actors/craig-cropped.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/actors/craig-cropped.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/actors/craig.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/actors/craig.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/actors/gallais.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/actors/gallais.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/actors/georgi.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/actors/georgi.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/actors/malin.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/actors/malin.eps -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/globe.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/globe.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/pictures/graslin.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/pictures/graslin.jpg -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/stlc-animated.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/stlc-animated.tex -------------------------------------------------------------------------------- /papers/2022-TYPES/talk/typOS_TYPES2022.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/talk/typOS_TYPES2022.tex -------------------------------------------------------------------------------- /papers/2022-TYPES/types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/types.tex -------------------------------------------------------------------------------- /papers/2022-TYPES/typos.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/papers/2022-TYPES/typos.bib -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/Test/Main.hs -------------------------------------------------------------------------------- /test/app-operator-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/app-operator-fail.act -------------------------------------------------------------------------------- /test/app-operator.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/app-operator.act -------------------------------------------------------------------------------- /test/as-patterns.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/as-patterns.act -------------------------------------------------------------------------------- /test/barred-atom-pattern.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/barred-atom-pattern.act -------------------------------------------------------------------------------- /test/barred-atom.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/barred-atom.act -------------------------------------------------------------------------------- /test/binders.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/binders.act -------------------------------------------------------------------------------- /test/case-pair-failing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/case-pair-failing.act -------------------------------------------------------------------------------- /test/case-pair.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/case-pair.act -------------------------------------------------------------------------------- /test/case-proposal.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/case-proposal.act -------------------------------------------------------------------------------- /test/case-tuples-failing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/case-tuples-failing.act -------------------------------------------------------------------------------- /test/case-tuples.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/case-tuples.act -------------------------------------------------------------------------------- /test/channelvar-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/channelvar-fail.act -------------------------------------------------------------------------------- /test/citizens.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/citizens.act -------------------------------------------------------------------------------- /test/citizens.flags: -------------------------------------------------------------------------------- 1 | --no-colour 2 | -------------------------------------------------------------------------------- /test/communicating-pairs.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/communicating-pairs.act -------------------------------------------------------------------------------- /test/communication-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/communication-fail.act -------------------------------------------------------------------------------- /test/coverage.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/coverage.act -------------------------------------------------------------------------------- /test/coverage.flags: -------------------------------------------------------------------------------- 1 | --no-colour -------------------------------------------------------------------------------- /test/covered.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/covered.act -------------------------------------------------------------------------------- /test/covered.flags: -------------------------------------------------------------------------------- 1 | --no-colour -------------------------------------------------------------------------------- /test/define-operator.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/define-operator.act -------------------------------------------------------------------------------- /test/define-operator.flags: -------------------------------------------------------------------------------- 1 | --no-colour -------------------------------------------------------------------------------- /test/elab-channel-failing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/elab-channel-failing.act -------------------------------------------------------------------------------- /test/elab-push-failing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/elab-push-failing.act -------------------------------------------------------------------------------- /test/elab-send-failing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/elab-send-failing.act -------------------------------------------------------------------------------- /test/golden/app-operator-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/app-operator-fail.gold -------------------------------------------------------------------------------- /test/golden/app-operator.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/app-operator.gold -------------------------------------------------------------------------------- /test/golden/as-patterns.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/as-patterns.gold -------------------------------------------------------------------------------- /test/golden/barred-atom-pattern.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/barred-atom-pattern.gold -------------------------------------------------------------------------------- /test/golden/barred-atom.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/barred-atom.gold -------------------------------------------------------------------------------- /test/golden/binders.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/binders.gold -------------------------------------------------------------------------------- /test/golden/case-pair-failing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/case-pair-failing.gold -------------------------------------------------------------------------------- /test/golden/case-pair.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/case-pair.gold -------------------------------------------------------------------------------- /test/golden/case-proposal.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/case-proposal.gold -------------------------------------------------------------------------------- /test/golden/case-tuples-failing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/case-tuples-failing.gold -------------------------------------------------------------------------------- /test/golden/case-tuples.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/case-tuples.gold -------------------------------------------------------------------------------- /test/golden/channelvar-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/channelvar-fail.gold -------------------------------------------------------------------------------- /test/golden/citizens.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/citizens.gold -------------------------------------------------------------------------------- /test/golden/communicating-pairs.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/communicating-pairs.gold -------------------------------------------------------------------------------- /test/golden/communication-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/communication-fail.gold -------------------------------------------------------------------------------- /test/golden/coverage.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/coverage.gold -------------------------------------------------------------------------------- /test/golden/covered.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/covered.gold -------------------------------------------------------------------------------- /test/golden/define-operator.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/define-operator.gold -------------------------------------------------------------------------------- /test/golden/elab-channel-failing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/elab-channel-failing.gold -------------------------------------------------------------------------------- /test/golden/elab-push-failing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/elab-push-failing.gold -------------------------------------------------------------------------------- /test/golden/elab-send-failing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/elab-send-failing.gold -------------------------------------------------------------------------------- /test/golden/let-binders.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/let-binders.gold -------------------------------------------------------------------------------- /test/golden/losing-finishes.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/losing-finishes.gold -------------------------------------------------------------------------------- /test/golden/multi-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/multi-fail.gold -------------------------------------------------------------------------------- /test/golden/multibind.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/multibind.gold -------------------------------------------------------------------------------- /test/golden/no-space.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/no-space.gold -------------------------------------------------------------------------------- /test/golden/not-actorvar-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/not-actorvar-fail.gold -------------------------------------------------------------------------------- /test/golden/operator-elab-fail-2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/operator-elab-fail-2.gold -------------------------------------------------------------------------------- /test/golden/operator-elab-fail-3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/operator-elab-fail-3.gold -------------------------------------------------------------------------------- /test/golden/operator-elab-fail-4.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/operator-elab-fail-4.gold -------------------------------------------------------------------------------- /test/golden/operator-elab-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/operator-elab-fail.gold -------------------------------------------------------------------------------- /test/golden/operator-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/operator-fail.gold -------------------------------------------------------------------------------- /test/golden/parse-fail-2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/parse-fail-2.gold -------------------------------------------------------------------------------- /test/golden/parse-fail-3.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/parse-fail-3.gold -------------------------------------------------------------------------------- /test/golden/parse-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/parse-fail.gold -------------------------------------------------------------------------------- /test/golden/plumbing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/plumbing.gold -------------------------------------------------------------------------------- /test/golden/printing-open.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/printing-open.gold -------------------------------------------------------------------------------- /test/golden/printing-open2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/printing-open2.gold -------------------------------------------------------------------------------- /test/golden/printing.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/printing.gold -------------------------------------------------------------------------------- /test/golden/reduce-neutrals-2.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/reduce-neutrals-2.gold -------------------------------------------------------------------------------- /test/golden/reduce-neutrals.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/reduce-neutrals.gold -------------------------------------------------------------------------------- /test/golden/reserved-keyword.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/reserved-keyword.gold -------------------------------------------------------------------------------- /test/golden/restarting.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/restarting.gold -------------------------------------------------------------------------------- /test/golden/scope-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/scope-fail.gold -------------------------------------------------------------------------------- /test/golden/semanticPi.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/semanticPi.gold -------------------------------------------------------------------------------- /test/golden/shadowed-pattern.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/shadowed-pattern.gold -------------------------------------------------------------------------------- /test/golden/shadowing-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/shadowing-fail.gold -------------------------------------------------------------------------------- /test/golden/spop-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/spop-fail.gold -------------------------------------------------------------------------------- /test/golden/spop-top-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/spop-top-fail.gold -------------------------------------------------------------------------------- /test/golden/stlcDidNotWin.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/stlcDidNotWin.gold -------------------------------------------------------------------------------- /test/golden/stuckguard.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/stuckguard.gold -------------------------------------------------------------------------------- /test/golden/subject-as-pattern-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/subject-as-pattern-fail.gold -------------------------------------------------------------------------------- /test/golden/subject-scrutinising-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/subject-scrutinising-fail.gold -------------------------------------------------------------------------------- /test/golden/syntax-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/syntax-fail.gold -------------------------------------------------------------------------------- /test/golden/syntaxcat-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/syntaxcat-fail.gold -------------------------------------------------------------------------------- /test/golden/toonice.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/toonice.gold -------------------------------------------------------------------------------- /test/golden/two-fail.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/two-fail.gold -------------------------------------------------------------------------------- /test/golden/type-projection.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/type-projection.gold -------------------------------------------------------------------------------- /test/golden/typecheck.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/typecheck.gold -------------------------------------------------------------------------------- /test/golden/unfinished.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/unfinished.gold -------------------------------------------------------------------------------- /test/golden/unsolved-meta.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/golden/unsolved-meta.gold -------------------------------------------------------------------------------- /test/let-binders.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/let-binders.act -------------------------------------------------------------------------------- /test/losing-finishes.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/losing-finishes.act -------------------------------------------------------------------------------- /test/multi-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/multi-fail.act -------------------------------------------------------------------------------- /test/multibind.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/multibind.act -------------------------------------------------------------------------------- /test/no-space.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/no-space.act -------------------------------------------------------------------------------- /test/not-actorvar-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/not-actorvar-fail.act -------------------------------------------------------------------------------- /test/operator-elab-fail-2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/operator-elab-fail-2.act -------------------------------------------------------------------------------- /test/operator-elab-fail-3.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/operator-elab-fail-3.act -------------------------------------------------------------------------------- /test/operator-elab-fail-4.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/operator-elab-fail-4.act -------------------------------------------------------------------------------- /test/operator-elab-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/operator-elab-fail.act -------------------------------------------------------------------------------- /test/operator-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/operator-fail.act -------------------------------------------------------------------------------- /test/parse-fail-2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/parse-fail-2.act -------------------------------------------------------------------------------- /test/parse-fail-3.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/parse-fail-3.act -------------------------------------------------------------------------------- /test/parse-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/parse-fail.act -------------------------------------------------------------------------------- /test/plumbing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/plumbing.act -------------------------------------------------------------------------------- /test/printing-open.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/printing-open.act -------------------------------------------------------------------------------- /test/printing-open2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/printing-open2.act -------------------------------------------------------------------------------- /test/printing.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/printing.act -------------------------------------------------------------------------------- /test/printing.flags: -------------------------------------------------------------------------------- 1 | --no-colour -------------------------------------------------------------------------------- /test/reduce-neutrals-2.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/reduce-neutrals-2.act -------------------------------------------------------------------------------- /test/reduce-neutrals-2.flags: -------------------------------------------------------------------------------- 1 | --no-colour 2 | --tracing clause -------------------------------------------------------------------------------- /test/reduce-neutrals.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/reduce-neutrals.act -------------------------------------------------------------------------------- /test/reduce-neutrals.flags: -------------------------------------------------------------------------------- 1 | --no-colour 2 | --tracing clause -------------------------------------------------------------------------------- /test/reserved-keyword.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/reserved-keyword.act -------------------------------------------------------------------------------- /test/restarting.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/restarting.act -------------------------------------------------------------------------------- /test/scope-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/scope-fail.act -------------------------------------------------------------------------------- /test/semanticPi.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/semanticPi.act -------------------------------------------------------------------------------- /test/shadowed-pattern.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/shadowed-pattern.act -------------------------------------------------------------------------------- /test/shadowing-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/shadowing-fail.act -------------------------------------------------------------------------------- /test/spop-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/spop-fail.act -------------------------------------------------------------------------------- /test/spop-top-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/spop-top-fail.act -------------------------------------------------------------------------------- /test/stlcDidNotWin.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/stlcDidNotWin.act -------------------------------------------------------------------------------- /test/stlcDidNotWin.flags: -------------------------------------------------------------------------------- 1 | --no-colour 2 | -------------------------------------------------------------------------------- /test/stuckguard.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/stuckguard.act -------------------------------------------------------------------------------- /test/subject-as-pattern-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/subject-as-pattern-fail.act -------------------------------------------------------------------------------- /test/subject-scrutinising-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/subject-scrutinising-fail.act -------------------------------------------------------------------------------- /test/syntax-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/syntax-fail.act -------------------------------------------------------------------------------- /test/syntaxcat-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/syntaxcat-fail.act -------------------------------------------------------------------------------- /test/toonice.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/toonice.act -------------------------------------------------------------------------------- /test/two-fail.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/two-fail.act -------------------------------------------------------------------------------- /test/two-fail.flags: -------------------------------------------------------------------------------- 1 | --no-colour -------------------------------------------------------------------------------- /test/type-projection.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/type-projection.act -------------------------------------------------------------------------------- /test/typecheck.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/typecheck.act -------------------------------------------------------------------------------- /test/unfinished.act: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/test/unfinished.act -------------------------------------------------------------------------------- /test/unfinished.flags: -------------------------------------------------------------------------------- 1 | --no-colour -------------------------------------------------------------------------------- /test/unsolved-meta.act: -------------------------------------------------------------------------------- 1 | exec 'Wildcard?s t u. s ~ t -------------------------------------------------------------------------------- /typos.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/TypOS/HEAD/typos.cabal --------------------------------------------------------------------------------