├── .gitignore ├── LICENSE ├── Paradigms ├── Continuation.md ├── Continuation.ml ├── TableDriven.md └── TableDriven.ml ├── README.md ├── TheoryOfComputation ├── ScottE.md └── ScottE.ml ├── TypeSystem ├── ADT.md ├── ADT.ml ├── CoData.md ├── CoData.ml ├── GADT.md ├── GADT.ml ├── HKT.md ├── HKT.ml ├── Monad.md ├── Monad.ml ├── Monoid.md ├── Monoid.ml ├── StateMonad.md └── StateMonad.ml ├── Utils └── Utils.ml ├── dune ├── dune-project └── magic.ml /.gitignore: -------------------------------------------------------------------------------- 1 | _*/ 2 | .*/ -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/LICENSE -------------------------------------------------------------------------------- /Paradigms/Continuation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/Paradigms/Continuation.md -------------------------------------------------------------------------------- /Paradigms/Continuation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/Paradigms/Continuation.ml -------------------------------------------------------------------------------- /Paradigms/TableDriven.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/Paradigms/TableDriven.md -------------------------------------------------------------------------------- /Paradigms/TableDriven.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/Paradigms/TableDriven.ml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/README.md -------------------------------------------------------------------------------- /TheoryOfComputation/ScottE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TheoryOfComputation/ScottE.md -------------------------------------------------------------------------------- /TheoryOfComputation/ScottE.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TheoryOfComputation/ScottE.ml -------------------------------------------------------------------------------- /TypeSystem/ADT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/ADT.md -------------------------------------------------------------------------------- /TypeSystem/ADT.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/ADT.ml -------------------------------------------------------------------------------- /TypeSystem/CoData.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/CoData.md -------------------------------------------------------------------------------- /TypeSystem/CoData.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/CoData.ml -------------------------------------------------------------------------------- /TypeSystem/GADT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/GADT.md -------------------------------------------------------------------------------- /TypeSystem/GADT.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/GADT.ml -------------------------------------------------------------------------------- /TypeSystem/HKT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/HKT.md -------------------------------------------------------------------------------- /TypeSystem/HKT.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/HKT.ml -------------------------------------------------------------------------------- /TypeSystem/Monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/Monad.md -------------------------------------------------------------------------------- /TypeSystem/Monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/Monad.ml -------------------------------------------------------------------------------- /TypeSystem/Monoid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/Monoid.md -------------------------------------------------------------------------------- /TypeSystem/Monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/Monoid.ml -------------------------------------------------------------------------------- /TypeSystem/StateMonad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/StateMonad.md -------------------------------------------------------------------------------- /TypeSystem/StateMonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/TypeSystem/StateMonad.ml -------------------------------------------------------------------------------- /Utils/Utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/Utils/Utils.ml -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) 2 | -------------------------------------------------------------------------------- /magic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LighghtEeloo/magic-in-ten-mins-ml/HEAD/magic.ml --------------------------------------------------------------------------------