├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── compile-to-core ├── .gitignore ├── LICENSE ├── README.md ├── Setup.hs ├── app │ └── Main.hs ├── compile-to-core.cabal ├── files │ └── Preamble.pkore ├── stack.yaml └── test │ ├── .gitignore │ ├── Spec.hs │ └── test.sh ├── docs ├── RESOURCES.md └── core-spec.pdf ├── script └── krunhaskell.sh ├── setup.sh ├── src ├── .gitignore ├── haskell-core-execution.k ├── haskell-core-syntax.k ├── haskell-core.k └── old-stuff │ ├── haskell-core.k │ ├── lambda.core │ ├── types-syntax.k │ └── types.k └── test ├── .gitignore ├── Sample.hcr ├── config.xml ├── gen_core.sh ├── haskell ├── Bools.hs ├── BouncyNumbers.hs ├── Cases.hs ├── ChurchBool.hs ├── ChurchNat.hs ├── ChurchNat2.hs ├── ChurchNat3.hs ├── Compose.hs ├── Disequality.hs ├── Equality.hs ├── Identity.hs ├── Imports.hs ├── Integers.hs ├── LetRec.hs ├── Nats.hs ├── Primes.hs ├── Rationals.hs └── Sum.hs ├── kast_all.sh ├── pkore-samples ├── Case.pkore ├── ChurchBool.pkore ├── ChurchNat.pkore ├── ChurchNat2.pkore ├── ChurchNat3.pkore ├── Identity.pkore ├── Lambda.pkore ├── Let-1.pkore ├── Let-2.pkore ├── Let-3.pkore ├── Let-4.pkore ├── Let-5.pkore └── Nats.pkore └── test_all.sh /.gitignore: -------------------------------------------------------------------------------- 1 | haskell-core-kompiled 2 | *.hi 3 | *.o 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/README.md -------------------------------------------------------------------------------- /compile-to-core/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work 2 | TAGS 3 | *.hi 4 | *.o 5 | -------------------------------------------------------------------------------- /compile-to-core/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/LICENSE -------------------------------------------------------------------------------- /compile-to-core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/README.md -------------------------------------------------------------------------------- /compile-to-core/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /compile-to-core/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/app/Main.hs -------------------------------------------------------------------------------- /compile-to-core/compile-to-core.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/compile-to-core.cabal -------------------------------------------------------------------------------- /compile-to-core/files/Preamble.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/files/Preamble.pkore -------------------------------------------------------------------------------- /compile-to-core/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/stack.yaml -------------------------------------------------------------------------------- /compile-to-core/test/.gitignore: -------------------------------------------------------------------------------- 1 | Foo.hs 2 | output 3 | -------------------------------------------------------------------------------- /compile-to-core/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/compile-to-core/test/Spec.hs -------------------------------------------------------------------------------- /compile-to-core/test/test.sh: -------------------------------------------------------------------------------- 1 | stack exec to-core -- --no-types -o output Foo 2 | -------------------------------------------------------------------------------- /docs/RESOURCES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/docs/RESOURCES.md -------------------------------------------------------------------------------- /docs/core-spec.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/docs/core-spec.pdf -------------------------------------------------------------------------------- /script/krunhaskell.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/script/krunhaskell.sh -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/setup.sh -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- 1 | *-kompiled 2 | -------------------------------------------------------------------------------- /src/haskell-core-execution.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/src/haskell-core-execution.k -------------------------------------------------------------------------------- /src/haskell-core-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/src/haskell-core-syntax.k -------------------------------------------------------------------------------- /src/haskell-core.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/src/haskell-core.k -------------------------------------------------------------------------------- /src/old-stuff/haskell-core.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/src/old-stuff/haskell-core.k -------------------------------------------------------------------------------- /src/old-stuff/lambda.core: -------------------------------------------------------------------------------- 1 | lambda n . e 2 | -------------------------------------------------------------------------------- /src/old-stuff/types-syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/src/old-stuff/types-syntax.k -------------------------------------------------------------------------------- /src/old-stuff/types.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/src/old-stuff/types.k -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | core 2 | -------------------------------------------------------------------------------- /test/Sample.hcr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/Sample.hcr -------------------------------------------------------------------------------- /test/config.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/config.xml -------------------------------------------------------------------------------- /test/gen_core.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/gen_core.sh -------------------------------------------------------------------------------- /test/haskell/Bools.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Bools.hs -------------------------------------------------------------------------------- /test/haskell/BouncyNumbers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/BouncyNumbers.hs -------------------------------------------------------------------------------- /test/haskell/Cases.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Cases.hs -------------------------------------------------------------------------------- /test/haskell/ChurchBool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/ChurchBool.hs -------------------------------------------------------------------------------- /test/haskell/ChurchNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/ChurchNat.hs -------------------------------------------------------------------------------- /test/haskell/ChurchNat2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/ChurchNat2.hs -------------------------------------------------------------------------------- /test/haskell/ChurchNat3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/ChurchNat3.hs -------------------------------------------------------------------------------- /test/haskell/Compose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Compose.hs -------------------------------------------------------------------------------- /test/haskell/Disequality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Disequality.hs -------------------------------------------------------------------------------- /test/haskell/Equality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Equality.hs -------------------------------------------------------------------------------- /test/haskell/Identity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Identity.hs -------------------------------------------------------------------------------- /test/haskell/Imports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Imports.hs -------------------------------------------------------------------------------- /test/haskell/Integers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Integers.hs -------------------------------------------------------------------------------- /test/haskell/LetRec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/LetRec.hs -------------------------------------------------------------------------------- /test/haskell/Nats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Nats.hs -------------------------------------------------------------------------------- /test/haskell/Primes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Primes.hs -------------------------------------------------------------------------------- /test/haskell/Rationals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Rationals.hs -------------------------------------------------------------------------------- /test/haskell/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/haskell/Sum.hs -------------------------------------------------------------------------------- /test/kast_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/kast_all.sh -------------------------------------------------------------------------------- /test/pkore-samples/Case.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Case.pkore -------------------------------------------------------------------------------- /test/pkore-samples/ChurchBool.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/ChurchBool.pkore -------------------------------------------------------------------------------- /test/pkore-samples/ChurchNat.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/ChurchNat.pkore -------------------------------------------------------------------------------- /test/pkore-samples/ChurchNat2.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/ChurchNat2.pkore -------------------------------------------------------------------------------- /test/pkore-samples/ChurchNat3.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/ChurchNat3.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Identity.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Identity.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Lambda.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Lambda.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Let-1.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Let-1.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Let-2.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Let-2.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Let-3.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Let-3.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Let-4.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Let-4.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Let-5.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Let-5.pkore -------------------------------------------------------------------------------- /test/pkore-samples/Nats.pkore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/pkore-samples/Nats.pkore -------------------------------------------------------------------------------- /test/test_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/haskell-core-semantics/HEAD/test/test_all.sh --------------------------------------------------------------------------------