├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── .gitmodules ├── README.md ├── cabal.haskell-ci ├── cabal.project ├── logical-foundations ├── LICENSE ├── README.md ├── Setup.hs ├── logical-foundations.cabal └── src │ └── SF │ └── LF │ ├── Axiom.hs │ ├── Basics.hs │ ├── FunExt.hs │ ├── Imp.hs │ ├── ImpC.hs │ ├── IndPrinciples.hs │ ├── IndProp.hs │ ├── Induction.hs │ ├── Lists.hs │ ├── Logic.hs │ ├── Maps.hs │ ├── Poly.hs │ ├── ProofObjects.hs │ ├── Rel.hs │ └── Tactics.hs └── verified-functional-algorithms ├── LICENSE ├── README.md ├── Setup.hs ├── src └── SF │ └── VFA │ └── Perm.hs └── verified-functional-algorithms.cabal /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/README.md -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/cabal.project -------------------------------------------------------------------------------- /logical-foundations/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/LICENSE -------------------------------------------------------------------------------- /logical-foundations/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/README.md -------------------------------------------------------------------------------- /logical-foundations/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /logical-foundations/logical-foundations.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/logical-foundations.cabal -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Axiom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Axiom.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Basics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Basics.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/FunExt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/FunExt.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Imp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Imp.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/ImpC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/ImpC.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/IndPrinciples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/IndPrinciples.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/IndProp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/IndProp.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Induction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Induction.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Lists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Lists.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Logic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Logic.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Maps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Maps.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Poly.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Poly.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/ProofObjects.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/ProofObjects.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Rel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Rel.hs -------------------------------------------------------------------------------- /logical-foundations/src/SF/LF/Tactics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/logical-foundations/src/SF/LF/Tactics.hs -------------------------------------------------------------------------------- /verified-functional-algorithms/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/verified-functional-algorithms/LICENSE -------------------------------------------------------------------------------- /verified-functional-algorithms/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/verified-functional-algorithms/README.md -------------------------------------------------------------------------------- /verified-functional-algorithms/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /verified-functional-algorithms/src/SF/VFA/Perm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/verified-functional-algorithms/src/SF/VFA/Perm.hs -------------------------------------------------------------------------------- /verified-functional-algorithms/verified-functional-algorithms.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RyanGlScott/ghc-software-foundations/HEAD/verified-functional-algorithms/verified-functional-algorithms.cabal --------------------------------------------------------------------------------