├── .gitignore ├── doc ├── ADT.md ├── ADT_zh-Hant.md ├── Algeff.md ├── ChurchE.md ├── CoC.md ├── CoData.md ├── CoData_zh-Hant.md ├── Continuation.md ├── DepsInj.md ├── EvalStrategy.md ├── GADT.md ├── GADT_zh-Hant.md ├── HKT.md ├── Lambda.md ├── Lifting.md ├── Monad.md ├── Monoid.md ├── Monoid_zh-Hant.md ├── Mu.md ├── Parsec.md ├── ParserM.md ├── PiSigma.md ├── STLC.md ├── ScottE.md ├── StateMonad.md ├── SysFO.md ├── SystemF.md ├── TableDriven.md └── YCombinator.md ├── gen.js ├── html ├── ADT.html ├── Algeff.html ├── ChurchE.html ├── CoC.html ├── CoData.html ├── Continuation.html ├── DepsInj.html ├── EvalStrategy.html ├── GADT.html ├── HKT.html ├── Lambda.html ├── Lifting.html ├── Monad.html ├── Monoid.html ├── Mu.html ├── Parsec.html ├── ParserM.html ├── PiSigma.html ├── STLC.html ├── ScottE.html ├── StateMonad.html ├── SysFO.html ├── SystemF.html ├── TableDriven.html └── YCombinator.html ├── index.html ├── licence ├── package.json ├── readme.md └── readme_zh-Hant.md /.gitignore: -------------------------------------------------------------------------------- 1 | doc/*.png 2 | node_modules 3 | package-lock.json -------------------------------------------------------------------------------- /doc/ADT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/ADT.md -------------------------------------------------------------------------------- /doc/ADT_zh-Hant.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/ADT_zh-Hant.md -------------------------------------------------------------------------------- /doc/Algeff.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Algeff.md -------------------------------------------------------------------------------- /doc/ChurchE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/ChurchE.md -------------------------------------------------------------------------------- /doc/CoC.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/CoC.md -------------------------------------------------------------------------------- /doc/CoData.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/CoData.md -------------------------------------------------------------------------------- /doc/CoData_zh-Hant.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/CoData_zh-Hant.md -------------------------------------------------------------------------------- /doc/Continuation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Continuation.md -------------------------------------------------------------------------------- /doc/DepsInj.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/DepsInj.md -------------------------------------------------------------------------------- /doc/EvalStrategy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/EvalStrategy.md -------------------------------------------------------------------------------- /doc/GADT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/GADT.md -------------------------------------------------------------------------------- /doc/GADT_zh-Hant.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/GADT_zh-Hant.md -------------------------------------------------------------------------------- /doc/HKT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/HKT.md -------------------------------------------------------------------------------- /doc/Lambda.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Lambda.md -------------------------------------------------------------------------------- /doc/Lifting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Lifting.md -------------------------------------------------------------------------------- /doc/Monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Monad.md -------------------------------------------------------------------------------- /doc/Monoid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Monoid.md -------------------------------------------------------------------------------- /doc/Monoid_zh-Hant.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Monoid_zh-Hant.md -------------------------------------------------------------------------------- /doc/Mu.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Mu.md -------------------------------------------------------------------------------- /doc/Parsec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/Parsec.md -------------------------------------------------------------------------------- /doc/ParserM.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/ParserM.md -------------------------------------------------------------------------------- /doc/PiSigma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/PiSigma.md -------------------------------------------------------------------------------- /doc/STLC.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/STLC.md -------------------------------------------------------------------------------- /doc/ScottE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/ScottE.md -------------------------------------------------------------------------------- /doc/StateMonad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/StateMonad.md -------------------------------------------------------------------------------- /doc/SysFO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/SysFO.md -------------------------------------------------------------------------------- /doc/SystemF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/SystemF.md -------------------------------------------------------------------------------- /doc/TableDriven.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/TableDriven.md -------------------------------------------------------------------------------- /doc/YCombinator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/doc/YCombinator.md -------------------------------------------------------------------------------- /gen.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/gen.js -------------------------------------------------------------------------------- /html/ADT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/ADT.html -------------------------------------------------------------------------------- /html/Algeff.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Algeff.html -------------------------------------------------------------------------------- /html/ChurchE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/ChurchE.html -------------------------------------------------------------------------------- /html/CoC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/CoC.html -------------------------------------------------------------------------------- /html/CoData.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/CoData.html -------------------------------------------------------------------------------- /html/Continuation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Continuation.html -------------------------------------------------------------------------------- /html/DepsInj.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/DepsInj.html -------------------------------------------------------------------------------- /html/EvalStrategy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/EvalStrategy.html -------------------------------------------------------------------------------- /html/GADT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/GADT.html -------------------------------------------------------------------------------- /html/HKT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/HKT.html -------------------------------------------------------------------------------- /html/Lambda.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Lambda.html -------------------------------------------------------------------------------- /html/Lifting.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Lifting.html -------------------------------------------------------------------------------- /html/Monad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Monad.html -------------------------------------------------------------------------------- /html/Monoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Monoid.html -------------------------------------------------------------------------------- /html/Mu.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Mu.html -------------------------------------------------------------------------------- /html/Parsec.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/Parsec.html -------------------------------------------------------------------------------- /html/ParserM.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/ParserM.html -------------------------------------------------------------------------------- /html/PiSigma.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/PiSigma.html -------------------------------------------------------------------------------- /html/STLC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/STLC.html -------------------------------------------------------------------------------- /html/ScottE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/ScottE.html -------------------------------------------------------------------------------- /html/StateMonad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/StateMonad.html -------------------------------------------------------------------------------- /html/SysFO.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/SysFO.html -------------------------------------------------------------------------------- /html/SystemF.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/SystemF.html -------------------------------------------------------------------------------- /html/TableDriven.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/TableDriven.html -------------------------------------------------------------------------------- /html/YCombinator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/html/YCombinator.html -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/index.html -------------------------------------------------------------------------------- /licence: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/licence -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/package.json -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/readme.md -------------------------------------------------------------------------------- /readme_zh-Hant.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CWKSC/magic-in-ten-mins-csharp/HEAD/readme_zh-Hant.md --------------------------------------------------------------------------------