├── .github ├── ISSUE_TEMPLATE │ ├── technical-error.md │ ├── translate.md │ └── typo.md └── workflows │ ├── ci.yml │ └── close-pr.yml ├── .gitignore ├── CONTRIBUTING.md ├── LICENSE-ASSETS ├── README.txt ├── book ├── .verso │ ├── verso-xref-manifest.json │ └── verso-xref.json ├── FPLeanZh.lean ├── FPLeanZh │ ├── Acks.lean │ ├── Basic.lean │ ├── DependentTypes.lean │ ├── DependentTypes │ │ ├── IndexedFamilies.lean │ │ ├── IndicesParametersUniverses.lean │ │ ├── Pitfalls.lean │ │ ├── Summary.lean │ │ ├── TypedQueries.lean │ │ └── UniversePattern.lean │ ├── Examples.lean │ ├── Examples │ │ ├── Commands.lean │ │ ├── Commands │ │ │ ├── Env.lean │ │ │ └── ShLex.lean │ │ └── OtherLanguages.lean │ ├── FunctorApplicativeMonad.lean │ ├── FunctorApplicativeMonad │ │ ├── Alternative.lean │ │ ├── Applicative.lean │ │ ├── ApplicativeContract.lean │ │ ├── Complete.lean │ │ ├── Conveniences.lean │ │ ├── Inheritance.lean │ │ ├── Summary.lean │ │ └── Universes.lean │ ├── GettingToKnow.lean │ ├── GettingToKnow │ │ ├── Conveniences.lean │ │ ├── DatatypesPatterns.lean │ │ ├── Evaluating.lean │ │ ├── FunctionsDefinitions.lean │ │ ├── Polymorphism.lean │ │ ├── Structures.lean │ │ ├── Summary.lean │ │ └── Types.lean │ ├── HelloWorld.lean │ ├── HelloWorld │ │ ├── Cat.lean │ │ ├── Conveniences.lean │ │ ├── RunningAProgram.lean │ │ ├── StartingAProject.lean │ │ ├── StepByStep.lean │ │ └── Summary.lean │ ├── Intro.lean │ ├── Linters.lean │ ├── Meta.lean │ ├── Meta │ │ └── NameSuffixMap.lean │ ├── MonadTransformers.lean │ ├── MonadTransformers │ │ ├── Conveniences.lean │ │ ├── Do.lean │ │ ├── Order.lean │ │ ├── ReaderIO.lean │ │ ├── Summary.lean │ │ └── Transformers.lean │ ├── Monads.lean │ ├── Monads │ │ ├── Arithmetic.lean │ │ ├── Class.lean │ │ ├── Conveniences.lean │ │ ├── Do.lean │ │ ├── IO.lean │ │ └── Summary.lean │ ├── NextSteps.lean │ ├── ProgramsProofs.lean │ ├── ProgramsProofs │ │ ├── ArraysTermination.lean │ │ ├── Fin.lean │ │ ├── Inequalities.lean │ │ ├── InsertionSort.lean │ │ ├── SpecialTypes.lean │ │ ├── Summary.lean │ │ ├── TailRecursion.lean │ │ └── TailRecursionProofs.lean │ ├── PropsProofsIndexing.lean │ ├── TacticsInductionProofs.lean │ ├── TypeClasses.lean │ └── TypeClasses │ │ ├── Coercions.lean │ │ ├── Conveniences.lean │ │ ├── Indexing.lean │ │ ├── OutParams.lean │ │ ├── Polymorphism.lean │ │ ├── Pos.lean │ │ ├── StandardClasses.lean │ │ └── Summary.lean ├── Main.lean ├── README.md ├── lake-manifest.json ├── lakefile.toml ├── lean-toolchain ├── rw.py └── static │ ├── fonts │ ├── noto-sans-mono │ │ ├── NotoSansMono-VariableFont_wdth,wght.ttf │ │ ├── OFL.txt │ │ └── noto-sans-mono.css │ ├── source-code-pro │ │ ├── LICENSE.md │ │ ├── OTF │ │ │ ├── SourceCodePro-Black.otf │ │ │ ├── SourceCodePro-BlackIt.otf │ │ │ ├── SourceCodePro-Bold.otf │ │ │ ├── SourceCodePro-BoldIt.otf │ │ │ ├── SourceCodePro-ExtraLight.otf │ │ │ ├── SourceCodePro-ExtraLightIt.otf │ │ │ ├── SourceCodePro-It.otf │ │ │ ├── SourceCodePro-Light.otf │ │ │ ├── SourceCodePro-LightIt.otf │ │ │ ├── SourceCodePro-Medium.otf │ │ │ ├── SourceCodePro-MediumIt.otf │ │ │ ├── SourceCodePro-Regular.otf │ │ │ ├── SourceCodePro-Semibold.otf │ │ │ └── SourceCodePro-SemiboldIt.otf │ │ ├── TTF │ │ │ ├── SourceCodePro-Black.ttf │ │ │ ├── SourceCodePro-BlackIt.ttf │ │ │ ├── SourceCodePro-Bold.ttf │ │ │ ├── SourceCodePro-BoldIt.ttf │ │ │ ├── SourceCodePro-ExtraLight.ttf │ │ │ ├── SourceCodePro-ExtraLightIt.ttf │ │ │ ├── SourceCodePro-It.ttf │ │ │ ├── SourceCodePro-Light.ttf │ │ │ ├── SourceCodePro-LightIt.ttf │ │ │ ├── SourceCodePro-Medium.ttf │ │ │ ├── SourceCodePro-MediumIt.ttf │ │ │ ├── SourceCodePro-Regular.ttf │ │ │ ├── SourceCodePro-Semibold.ttf │ │ │ └── SourceCodePro-SemiboldIt.ttf │ │ ├── WOFF │ │ │ ├── OTF │ │ │ │ ├── SourceCodePro-Black.otf.woff │ │ │ │ ├── SourceCodePro-BlackIt.otf.woff │ │ │ │ ├── SourceCodePro-Bold.otf.woff │ │ │ │ ├── SourceCodePro-BoldIt.otf.woff │ │ │ │ ├── SourceCodePro-ExtraLight.otf.woff │ │ │ │ ├── SourceCodePro-ExtraLightIt.otf.woff │ │ │ │ ├── SourceCodePro-It.otf.woff │ │ │ │ ├── SourceCodePro-Light.otf.woff │ │ │ │ ├── SourceCodePro-LightIt.otf.woff │ │ │ │ ├── SourceCodePro-Medium.otf.woff │ │ │ │ ├── SourceCodePro-MediumIt.otf.woff │ │ │ │ ├── SourceCodePro-Regular.otf.woff │ │ │ │ ├── SourceCodePro-Semibold.otf.woff │ │ │ │ └── SourceCodePro-SemiboldIt.otf.woff │ │ │ └── TTF │ │ │ │ ├── SourceCodePro-Black.ttf.woff │ │ │ │ ├── SourceCodePro-BlackIt.ttf.woff │ │ │ │ ├── SourceCodePro-Bold.ttf.woff │ │ │ │ ├── SourceCodePro-BoldIt.ttf.woff │ │ │ │ ├── SourceCodePro-ExtraLight.ttf.woff │ │ │ │ ├── SourceCodePro-ExtraLightIt.ttf.woff │ │ │ │ ├── SourceCodePro-It.ttf.woff │ │ │ │ ├── SourceCodePro-Light.ttf.woff │ │ │ │ ├── SourceCodePro-LightIt.ttf.woff │ │ │ │ ├── SourceCodePro-Medium.ttf.woff │ │ │ │ ├── SourceCodePro-MediumIt.ttf.woff │ │ │ │ ├── SourceCodePro-Regular.ttf.woff │ │ │ │ ├── SourceCodePro-Semibold.ttf.woff │ │ │ │ └── SourceCodePro-SemiboldIt.ttf.woff │ │ ├── WOFF2 │ │ │ ├── OTF │ │ │ │ ├── SourceCodePro-Black.otf.woff2 │ │ │ │ ├── SourceCodePro-BlackIt.otf.woff2 │ │ │ │ ├── SourceCodePro-Bold.otf.woff2 │ │ │ │ ├── SourceCodePro-BoldIt.otf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLight.otf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLightIt.otf.woff2 │ │ │ │ ├── SourceCodePro-It.otf.woff2 │ │ │ │ ├── SourceCodePro-Light.otf.woff2 │ │ │ │ ├── SourceCodePro-LightIt.otf.woff2 │ │ │ │ ├── SourceCodePro-Medium.otf.woff2 │ │ │ │ ├── SourceCodePro-MediumIt.otf.woff2 │ │ │ │ ├── SourceCodePro-Regular.otf.woff2 │ │ │ │ ├── SourceCodePro-Semibold.otf.woff2 │ │ │ │ ├── SourceCodePro-SemiboldIt.otf.woff2 │ │ │ │ ├── SourceCodeVF-Italic.otf.woff2 │ │ │ │ └── SourceCodeVF-Upright.otf.woff2 │ │ │ └── TTF │ │ │ │ ├── SourceCodePro-Black.ttf.woff2 │ │ │ │ ├── SourceCodePro-BlackIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-Bold.ttf.woff2 │ │ │ │ ├── SourceCodePro-BoldIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLight.ttf.woff2 │ │ │ │ ├── SourceCodePro-ExtraLightIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-It.ttf.woff2 │ │ │ │ ├── SourceCodePro-Light.ttf.woff2 │ │ │ │ ├── SourceCodePro-LightIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-Medium.ttf.woff2 │ │ │ │ ├── SourceCodePro-MediumIt.ttf.woff2 │ │ │ │ ├── SourceCodePro-Regular.ttf.woff2 │ │ │ │ ├── SourceCodePro-Semibold.ttf.woff2 │ │ │ │ ├── SourceCodePro-SemiboldIt.ttf.woff2 │ │ │ │ ├── SourceCodeVF-Italic.ttf.woff2 │ │ │ │ └── SourceCodeVF-Upright.ttf.woff2 │ │ └── source-code-pro.css │ ├── source-sans │ │ ├── LICENSE.md │ │ ├── OTF │ │ │ ├── SourceSans3-Black.otf │ │ │ ├── SourceSans3-BlackIt.otf │ │ │ ├── SourceSans3-Bold.otf │ │ │ ├── SourceSans3-BoldIt.otf │ │ │ ├── SourceSans3-ExtraLight.otf │ │ │ ├── SourceSans3-ExtraLightIt.otf │ │ │ ├── SourceSans3-It.otf │ │ │ ├── SourceSans3-Light.otf │ │ │ ├── SourceSans3-LightIt.otf │ │ │ ├── SourceSans3-Medium.otf │ │ │ ├── SourceSans3-MediumIt.otf │ │ │ ├── SourceSans3-Regular.otf │ │ │ ├── SourceSans3-Semibold.otf │ │ │ └── SourceSans3-SemiboldIt.otf │ │ ├── TTF │ │ │ ├── SourceSans3-Black.ttf │ │ │ ├── SourceSans3-BlackIt.ttf │ │ │ ├── SourceSans3-Bold.ttf │ │ │ ├── SourceSans3-BoldIt.ttf │ │ │ ├── SourceSans3-ExtraLight.ttf │ │ │ ├── SourceSans3-ExtraLightIt.ttf │ │ │ ├── SourceSans3-It.ttf │ │ │ ├── SourceSans3-Light.ttf │ │ │ ├── SourceSans3-LightIt.ttf │ │ │ ├── SourceSans3-Medium.ttf │ │ │ ├── SourceSans3-MediumIt.ttf │ │ │ ├── SourceSans3-Regular.ttf │ │ │ ├── SourceSans3-Semibold.ttf │ │ │ └── SourceSans3-SemiboldIt.ttf │ │ ├── VF │ │ │ ├── SourceSans3VF-Italic.otf │ │ │ ├── SourceSans3VF-Italic.ttf │ │ │ ├── SourceSans3VF-Upright.otf │ │ │ └── SourceSans3VF-Upright.ttf │ │ ├── WOFF │ │ │ ├── OTF │ │ │ │ ├── SourceSans3-Black.otf.woff │ │ │ │ ├── SourceSans3-BlackIt.otf.woff │ │ │ │ ├── SourceSans3-Bold.otf.woff │ │ │ │ ├── SourceSans3-BoldIt.otf.woff │ │ │ │ ├── SourceSans3-ExtraLight.otf.woff │ │ │ │ ├── SourceSans3-ExtraLightIt.otf.woff │ │ │ │ ├── SourceSans3-It.otf.woff │ │ │ │ ├── SourceSans3-Light.otf.woff │ │ │ │ ├── SourceSans3-LightIt.otf.woff │ │ │ │ ├── SourceSans3-Medium.otf.woff │ │ │ │ ├── SourceSans3-MediumIt.otf.woff │ │ │ │ ├── SourceSans3-Regular.otf.woff │ │ │ │ ├── SourceSans3-Semibold.otf.woff │ │ │ │ └── SourceSans3-SemiboldIt.otf.woff │ │ │ ├── TTF │ │ │ │ ├── SourceSans3-Black.ttf.woff │ │ │ │ ├── SourceSans3-BlackIt.ttf.woff │ │ │ │ ├── SourceSans3-Bold.ttf.woff │ │ │ │ ├── SourceSans3-BoldIt.ttf.woff │ │ │ │ ├── SourceSans3-ExtraLight.ttf.woff │ │ │ │ ├── SourceSans3-ExtraLightIt.ttf.woff │ │ │ │ ├── SourceSans3-It.ttf.woff │ │ │ │ ├── SourceSans3-Light.ttf.woff │ │ │ │ ├── SourceSans3-LightIt.ttf.woff │ │ │ │ ├── SourceSans3-Medium.ttf.woff │ │ │ │ ├── SourceSans3-MediumIt.ttf.woff │ │ │ │ ├── SourceSans3-Regular.ttf.woff │ │ │ │ ├── SourceSans3-Semibold.ttf.woff │ │ │ │ └── SourceSans3-SemiboldIt.ttf.woff │ │ │ └── VF │ │ │ │ ├── SourceSans3VF-Italic.otf.woff │ │ │ │ ├── SourceSans3VF-Italic.ttf.woff │ │ │ │ ├── SourceSans3VF-Upright.otf.woff │ │ │ │ └── SourceSans3VF-Upright.ttf.woff │ │ ├── WOFF2 │ │ │ ├── OTF │ │ │ │ ├── SourceSans3-Black.otf.woff2 │ │ │ │ ├── SourceSans3-BlackIt.otf.woff2 │ │ │ │ ├── SourceSans3-Bold.otf.woff2 │ │ │ │ ├── SourceSans3-BoldIt.otf.woff2 │ │ │ │ ├── SourceSans3-ExtraLight.otf.woff2 │ │ │ │ ├── SourceSans3-ExtraLightIt.otf.woff2 │ │ │ │ ├── SourceSans3-It.otf.woff2 │ │ │ │ ├── SourceSans3-Light.otf.woff2 │ │ │ │ ├── SourceSans3-LightIt.otf.woff2 │ │ │ │ ├── SourceSans3-Medium.otf.woff2 │ │ │ │ ├── SourceSans3-MediumIt.otf.woff2 │ │ │ │ ├── SourceSans3-Regular.otf.woff2 │ │ │ │ ├── SourceSans3-Semibold.otf.woff2 │ │ │ │ └── SourceSans3-SemiboldIt.otf.woff2 │ │ │ ├── TTF │ │ │ │ ├── SourceSans3-Black.ttf.woff2 │ │ │ │ ├── SourceSans3-BlackIt.ttf.woff2 │ │ │ │ ├── SourceSans3-Bold.ttf.woff2 │ │ │ │ ├── SourceSans3-BoldIt.ttf.woff2 │ │ │ │ ├── SourceSans3-ExtraLight.ttf.woff2 │ │ │ │ ├── SourceSans3-ExtraLightIt.ttf.woff2 │ │ │ │ ├── SourceSans3-It.ttf.woff2 │ │ │ │ ├── SourceSans3-Light.ttf.woff2 │ │ │ │ ├── SourceSans3-LightIt.ttf.woff2 │ │ │ │ ├── SourceSans3-Medium.ttf.woff2 │ │ │ │ ├── SourceSans3-MediumIt.ttf.woff2 │ │ │ │ ├── SourceSans3-Regular.ttf.woff2 │ │ │ │ ├── SourceSans3-Semibold.ttf.woff2 │ │ │ │ └── SourceSans3-SemiboldIt.ttf.woff2 │ │ │ └── VF │ │ │ │ ├── SourceSans3VF-Italic.otf.woff2 │ │ │ │ ├── SourceSans3VF-Italic.ttf.woff2 │ │ │ │ ├── SourceSans3VF-Upright.otf.woff2 │ │ │ │ └── SourceSans3VF-Upright.ttf.woff2 │ │ ├── source-sans-3.css │ │ └── source-sans-3VF.css │ └── source-serif │ │ ├── LICENSE.md │ │ ├── OTF │ │ ├── SourceSerif4-Black.otf │ │ ├── SourceSerif4-BlackIt.otf │ │ ├── SourceSerif4-Bold.otf │ │ ├── SourceSerif4-BoldIt.otf │ │ ├── SourceSerif4-ExtraLight.otf │ │ ├── SourceSerif4-ExtraLightIt.otf │ │ ├── SourceSerif4-It.otf │ │ ├── SourceSerif4-Light.otf │ │ ├── SourceSerif4-LightIt.otf │ │ ├── SourceSerif4-Regular.otf │ │ ├── SourceSerif4-Semibold.otf │ │ └── SourceSerif4-SemiboldIt.otf │ │ ├── TTF │ │ ├── SourceSerif4-Black.ttf │ │ ├── SourceSerif4-BlackIt.ttf │ │ ├── SourceSerif4-Bold.ttf │ │ ├── SourceSerif4-BoldIt.ttf │ │ ├── SourceSerif4-ExtraLight.ttf │ │ ├── SourceSerif4-ExtraLightIt.ttf │ │ ├── SourceSerif4-It.ttf │ │ ├── SourceSerif4-Light.ttf │ │ ├── SourceSerif4-LightIt.ttf │ │ ├── SourceSerif4-Regular.ttf │ │ ├── SourceSerif4-Semibold.ttf │ │ └── SourceSerif4-SemiboldIt.ttf │ │ ├── WOFF │ │ ├── OTF │ │ │ ├── SourceSerif4-Black.otf.woff │ │ │ ├── SourceSerif4-BlackIt.otf.woff │ │ │ ├── SourceSerif4-Bold.otf.woff │ │ │ ├── SourceSerif4-BoldIt.otf.woff │ │ │ ├── SourceSerif4-ExtraLight.otf.woff │ │ │ ├── SourceSerif4-ExtraLightIt.otf.woff │ │ │ ├── SourceSerif4-It.otf.woff │ │ │ ├── SourceSerif4-Light.otf.woff │ │ │ ├── SourceSerif4-LightIt.otf.woff │ │ │ ├── SourceSerif4-Regular.otf.woff │ │ │ ├── SourceSerif4-Semibold.otf.woff │ │ │ └── SourceSerif4-SemiboldIt.otf.woff │ │ └── TTF │ │ │ ├── SourceSerif4-Black.ttf.woff │ │ │ ├── SourceSerif4-BlackIt.ttf.woff │ │ │ ├── SourceSerif4-Bold.ttf.woff │ │ │ ├── SourceSerif4-BoldIt.ttf.woff │ │ │ ├── SourceSerif4-ExtraLight.ttf.woff │ │ │ ├── SourceSerif4-ExtraLightIt.ttf.woff │ │ │ ├── SourceSerif4-It.ttf.woff │ │ │ ├── SourceSerif4-Light.ttf.woff │ │ │ ├── SourceSerif4-LightIt.ttf.woff │ │ │ ├── SourceSerif4-Regular.ttf.woff │ │ │ ├── SourceSerif4-Semibold.ttf.woff │ │ │ └── SourceSerif4-SemiboldIt.ttf.woff │ │ ├── WOFF2 │ │ ├── OTF │ │ │ ├── SourceSerif4-Black.otf.woff2 │ │ │ ├── SourceSerif4-BlackIt.otf.woff2 │ │ │ ├── SourceSerif4-Bold.otf.woff2 │ │ │ ├── SourceSerif4-BoldIt.otf.woff2 │ │ │ ├── SourceSerif4-ExtraLight.otf.woff2 │ │ │ ├── SourceSerif4-ExtraLightIt.otf.woff2 │ │ │ ├── SourceSerif4-It.otf.woff2 │ │ │ ├── SourceSerif4-Light.otf.woff2 │ │ │ ├── SourceSerif4-LightIt.otf.woff2 │ │ │ ├── SourceSerif4-Regular.otf.woff2 │ │ │ ├── SourceSerif4-Semibold.otf.woff2 │ │ │ └── SourceSerif4-SemiboldIt.otf.woff2 │ │ └── TTF │ │ │ ├── SourceSerif4-Black.ttf.woff2 │ │ │ ├── SourceSerif4-BlackIt.ttf.woff2 │ │ │ ├── SourceSerif4-Bold.ttf.woff2 │ │ │ ├── SourceSerif4-BoldIt.ttf.woff2 │ │ │ ├── SourceSerif4-ExtraLight.ttf.woff2 │ │ │ ├── SourceSerif4-ExtraLightIt.ttf.woff2 │ │ │ ├── SourceSerif4-It.ttf.woff2 │ │ │ ├── SourceSerif4-Light.ttf.woff2 │ │ │ ├── SourceSerif4-LightIt.ttf.woff2 │ │ │ ├── SourceSerif4-Regular.ttf.woff2 │ │ │ ├── SourceSerif4-Semibold.ttf.woff2 │ │ │ └── SourceSerif4-SemiboldIt.ttf.woff2 │ │ └── source-serif-text.css │ ├── lean_logo.svg │ └── theme.css └── examples ├── .gitignore ├── ExampleSupport.lean ├── Examples.lean ├── Examples ├── Cat.lean ├── Classes.lean ├── Classes │ └── Even.lean ├── DependentTypes.lean ├── DependentTypes │ ├── DB.lean │ ├── Finite.lean │ ├── IndicesParameters.lean │ └── Pitfalls.lean ├── Doug1.lean ├── FunctorApplicativeMonad.lean ├── FunctorApplicativeMonad │ └── ActualDefs.lean ├── HelloWorld.lean ├── Induction.lean ├── Intro.lean ├── MonadTransformers.lean ├── MonadTransformers │ ├── Conveniences.lean │ ├── Defs.lean │ └── Do.lean ├── Monads.lean ├── Monads │ ├── Class.lean │ ├── Conveniences.lean │ ├── Do.lean │ ├── IO.lean │ └── Many.lean ├── ProgramsProofs.lean ├── ProgramsProofs │ ├── Arrays.lean │ ├── Div.lean │ ├── Fin.lean │ ├── Inequalities.lean │ ├── InsertionSort.lean │ ├── InstrumentedInsertionSort.lean │ ├── TCO.lean │ └── TCOTest.lean ├── Props.lean ├── SpecialTypes.lean └── Universes.lean ├── ForMIO.lean ├── Main.lean ├── README.rst ├── book-support.el ├── douglib └── DirTree.lean ├── early-return ├── .gitignore ├── EarlyReturn.lean ├── expected ├── lakefile.lean ├── no-name ├── run └── too-many-args ├── feline ├── 1 │ ├── Main.lean │ ├── lakefile.toml │ └── lean-toolchain └── 2 │ ├── FelineLib.lean │ ├── Main.lean │ ├── expected │ ├── test12.txt │ └── test1purr2.txt │ ├── lakefile.toml │ ├── test1.txt │ └── test2.txt ├── first-lake ├── .gitignore └── expected │ ├── Greeting.lean │ ├── Greeting │ └── Basic.lean │ ├── Main.lean │ └── lakefile.toml ├── formio ├── expected └── test-data ├── hello-name ├── HelloName.lean └── run ├── inorder_python ├── expected └── inordernumbering.py ├── lake-manifest.json ├── lakefile.lean ├── lean-toolchain ├── rwe.py ├── second-lake └── greeting │ ├── Aux.lean │ ├── Greeting.lean │ ├── Greeting │ └── Smile.lean │ ├── Main.lean │ ├── lakefile.lean │ └── lean-toolchain ├── simple-hello └── Hello.lean └── sort-demo ├── run-usage └── test-data /.github/ISSUE_TEMPLATE/technical-error.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/.github/ISSUE_TEMPLATE/technical-error.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/translate.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/.github/ISSUE_TEMPLATE/translate.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/typo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/.github/ISSUE_TEMPLATE/typo.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/close-pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/.github/workflows/close-pr.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE-ASSETS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/LICENSE-ASSETS -------------------------------------------------------------------------------- /README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/README.txt -------------------------------------------------------------------------------- /book/.verso/verso-xref-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/.verso/verso-xref-manifest.json -------------------------------------------------------------------------------- /book/.verso/verso-xref.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/.verso/verso-xref.json -------------------------------------------------------------------------------- /book/FPLeanZh.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Acks.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Acks.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Basic.lean: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes.lean -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes/IndexedFamilies.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes/IndexedFamilies.lean -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes/IndicesParametersUniverses.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes/IndicesParametersUniverses.lean -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes/Pitfalls.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes/Pitfalls.lean -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes/TypedQueries.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes/TypedQueries.lean -------------------------------------------------------------------------------- /book/FPLeanZh/DependentTypes/UniversePattern.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/DependentTypes/UniversePattern.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Examples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Examples.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Examples/Commands.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Examples/Commands.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Examples/Commands/Env.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Examples/Commands/Env.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Examples/Commands/ShLex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Examples/Commands/ShLex.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Examples/OtherLanguages.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Examples/OtherLanguages.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Alternative.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Alternative.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Applicative.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Applicative.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/ApplicativeContract.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/ApplicativeContract.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Complete.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Complete.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Conveniences.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Inheritance.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Inheritance.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/FunctorApplicativeMonad/Universes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/FunctorApplicativeMonad/Universes.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/Conveniences.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/DatatypesPatterns.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/DatatypesPatterns.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/Evaluating.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/Evaluating.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/FunctionsDefinitions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/FunctionsDefinitions.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/Polymorphism.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/Polymorphism.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/Structures.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/Structures.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/GettingToKnow/Types.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/GettingToKnow/Types.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld/Cat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld/Cat.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld/Conveniences.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld/RunningAProgram.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld/RunningAProgram.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld/StartingAProject.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld/StartingAProject.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld/StepByStep.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld/StepByStep.lean -------------------------------------------------------------------------------- /book/FPLeanZh/HelloWorld/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/HelloWorld/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Intro.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Intro.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Linters.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Linters.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Meta.lean: -------------------------------------------------------------------------------- 1 | import VersoManual 2 | 3 | namespace FPLeanZh 4 | -------------------------------------------------------------------------------- /book/FPLeanZh/Meta/NameSuffixMap.lean: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers.lean -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers/Conveniences.lean -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers/Do.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers/Do.lean -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers/Order.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers/Order.lean -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers/ReaderIO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers/ReaderIO.lean -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/MonadTransformers/Transformers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/MonadTransformers/Transformers.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads/Arithmetic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads/Arithmetic.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads/Class.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads/Class.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads/Conveniences.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads/Do.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads/Do.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads/IO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads/IO.lean -------------------------------------------------------------------------------- /book/FPLeanZh/Monads/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/Monads/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/NextSteps.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/NextSteps.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/ArraysTermination.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/ArraysTermination.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/Fin.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/Fin.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/Inequalities.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/Inequalities.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/InsertionSort.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/InsertionSort.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/SpecialTypes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/SpecialTypes.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/Summary.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/TailRecursion.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/TailRecursion.lean -------------------------------------------------------------------------------- /book/FPLeanZh/ProgramsProofs/TailRecursionProofs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/ProgramsProofs/TailRecursionProofs.lean -------------------------------------------------------------------------------- /book/FPLeanZh/PropsProofsIndexing.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/PropsProofsIndexing.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TacticsInductionProofs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TacticsInductionProofs.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/Coercions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/Coercions.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/Conveniences.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/Indexing.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/Indexing.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/OutParams.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/OutParams.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/Polymorphism.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/Polymorphism.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/Pos.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/Pos.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/StandardClasses.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/StandardClasses.lean -------------------------------------------------------------------------------- /book/FPLeanZh/TypeClasses/Summary.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/FPLeanZh/TypeClasses/Summary.lean -------------------------------------------------------------------------------- /book/Main.lean: -------------------------------------------------------------------------------- 1 | import FPLeanZh 2 | -------------------------------------------------------------------------------- /book/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/README.md -------------------------------------------------------------------------------- /book/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/lake-manifest.json -------------------------------------------------------------------------------- /book/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/lakefile.toml -------------------------------------------------------------------------------- /book/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.22.0-rc4 2 | -------------------------------------------------------------------------------- /book/rw.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/rw.py -------------------------------------------------------------------------------- /book/static/fonts/noto-sans-mono/NotoSansMono-VariableFont_wdth,wght.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/noto-sans-mono/NotoSansMono-VariableFont_wdth,wght.ttf -------------------------------------------------------------------------------- /book/static/fonts/noto-sans-mono/OFL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/noto-sans-mono/OFL.txt -------------------------------------------------------------------------------- /book/static/fonts/noto-sans-mono/noto-sans-mono.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/noto-sans-mono/noto-sans-mono.css -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/LICENSE.md -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-Black.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-Black.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-BlackIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-BlackIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-Bold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-Bold.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-BoldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-BoldIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLight.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLight.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-ExtraLightIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-It.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-It.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-Light.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-Light.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-LightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-LightIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-Medium.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-Medium.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-MediumIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-MediumIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-Regular.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-Regular.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-Semibold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-Semibold.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/OTF/SourceCodePro-SemiboldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/OTF/SourceCodePro-SemiboldIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-Black.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-Black.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-BlackIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-BlackIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-Bold.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-BoldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-BoldIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLight.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLight.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-ExtraLightIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-It.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-It.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-Light.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-Light.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-LightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-LightIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-Medium.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-Medium.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-MediumIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-MediumIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-Regular.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-Semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-Semibold.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/TTF/SourceCodePro-SemiboldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/TTF/SourceCodePro-SemiboldIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Black.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Black.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BlackIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BlackIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Bold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Bold.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BoldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-BoldIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLight.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLight.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-ExtraLightIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-It.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-It.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Light.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Light.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-LightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-LightIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Medium.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Medium.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-MediumIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-MediumIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Regular.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Regular.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Semibold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-Semibold.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-SemiboldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/OTF/SourceCodePro-SemiboldIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Black.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Black.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BlackIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BlackIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Bold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Bold.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BoldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-BoldIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLight.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLight.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-ExtraLightIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-It.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-It.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Light.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Light.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-LightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-LightIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Medium.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Medium.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-MediumIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-MediumIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Regular.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Regular.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Semibold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-Semibold.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-SemiboldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF/TTF/SourceCodePro-SemiboldIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Black.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Black.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BlackIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BlackIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Bold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Bold.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BoldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-BoldIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLight.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLight.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-ExtraLightIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-It.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-It.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Light.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Light.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-LightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-LightIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Medium.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Medium.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-MediumIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-MediumIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Regular.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Regular.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Semibold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-Semibold.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-SemiboldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodePro-SemiboldIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Italic.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Italic.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Upright.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/OTF/SourceCodeVF-Upright.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Black.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Black.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BlackIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BlackIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Bold.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BoldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-BoldIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLight.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLight.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-ExtraLightIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-It.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Light.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Light.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-LightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-LightIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Medium.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Medium.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-MediumIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-MediumIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Regular.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-SemiboldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodePro-SemiboldIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Italic.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Italic.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Upright.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/WOFF2/TTF/SourceCodeVF-Upright.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-code-pro/source-code-pro.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-code-pro/source-code-pro.css -------------------------------------------------------------------------------- /book/static/fonts/source-sans/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/LICENSE.md -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-Black.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-Black.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-BlackIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-BlackIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-Bold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-Bold.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-BoldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-BoldIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-ExtraLight.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-ExtraLight.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-ExtraLightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-ExtraLightIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-It.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-It.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-Light.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-Light.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-LightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-LightIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-Medium.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-Medium.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-MediumIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-MediumIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-Regular.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-Regular.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-Semibold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-Semibold.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/OTF/SourceSans3-SemiboldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/OTF/SourceSans3-SemiboldIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-Black.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-Black.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-BlackIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-BlackIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-Bold.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-BoldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-BoldIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-ExtraLight.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-ExtraLight.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-ExtraLightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-ExtraLightIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-It.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-It.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-Light.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-Light.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-LightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-LightIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-Medium.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-Medium.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-MediumIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-MediumIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-Regular.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-Semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-Semibold.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/TTF/SourceSans3-SemiboldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/TTF/SourceSans3-SemiboldIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/VF/SourceSans3VF-Italic.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/VF/SourceSans3VF-Italic.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/VF/SourceSans3VF-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/VF/SourceSans3VF-Italic.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/VF/SourceSans3VF-Upright.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/VF/SourceSans3VF-Upright.otf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/VF/SourceSans3VF-Upright.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/VF/SourceSans3VF-Upright.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Black.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Black.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-BlackIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-BlackIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Bold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Bold.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-BoldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-BoldIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLight.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLight.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-ExtraLightIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-It.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-It.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Light.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Light.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-LightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-LightIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Medium.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Medium.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-MediumIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-MediumIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Regular.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Regular.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Semibold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-Semibold.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/OTF/SourceSans3-SemiboldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/OTF/SourceSans3-SemiboldIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Black.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Black.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-BlackIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-BlackIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Bold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Bold.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-BoldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-BoldIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLight.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLight.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-ExtraLightIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-It.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-It.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Light.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Light.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-LightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-LightIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Medium.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Medium.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-MediumIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-MediumIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Regular.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Regular.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Semibold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-Semibold.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/TTF/SourceSans3-SemiboldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/TTF/SourceSans3-SemiboldIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Italic.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF/VF/SourceSans3VF-Upright.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Black.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Black.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-BlackIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-BlackIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Bold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Bold.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-BoldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-BoldIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLight.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLight.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-ExtraLightIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-It.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-It.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Light.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Light.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-LightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-LightIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Medium.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Medium.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-MediumIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-MediumIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Regular.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Regular.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Semibold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-Semibold.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-SemiboldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/OTF/SourceSans3-SemiboldIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Black.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Black.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-BlackIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-BlackIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Bold.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-BoldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-BoldIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLight.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLight.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-ExtraLightIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-It.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Light.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Light.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-LightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-LightIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Medium.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Medium.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-MediumIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-MediumIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Regular.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-SemiboldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/TTF/SourceSans3-SemiboldIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Italic.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/WOFF2/VF/SourceSans3VF-Upright.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-sans/source-sans-3.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/source-sans-3.css -------------------------------------------------------------------------------- /book/static/fonts/source-sans/source-sans-3VF.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-sans/source-sans-3VF.css -------------------------------------------------------------------------------- /book/static/fonts/source-serif/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/LICENSE.md -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-Black.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-Black.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-BlackIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-BlackIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-Bold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-Bold.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-BoldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-BoldIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-ExtraLight.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-ExtraLight.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-ExtraLightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-ExtraLightIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-It.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-It.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-Light.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-Light.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-LightIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-LightIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-Regular.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-Regular.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-Semibold.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-Semibold.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/OTF/SourceSerif4-SemiboldIt.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/OTF/SourceSerif4-SemiboldIt.otf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-Black.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-Black.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-BlackIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-BlackIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-Bold.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-BoldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-BoldIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-ExtraLight.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-ExtraLight.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-ExtraLightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-ExtraLightIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-It.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-It.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-Light.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-Light.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-LightIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-LightIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-Regular.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-Semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-Semibold.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/TTF/SourceSerif4-SemiboldIt.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/TTF/SourceSerif4-SemiboldIt.ttf -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Black.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Black.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-BlackIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-BlackIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Bold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Bold.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-BoldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-BoldIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLight.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLight.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-ExtraLightIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-It.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-It.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Light.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Light.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-LightIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-LightIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Regular.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Regular.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Semibold.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-Semibold.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-SemiboldIt.otf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/OTF/SourceSerif4-SemiboldIt.otf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Black.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Black.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-BlackIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-BlackIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Bold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Bold.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-BoldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-BoldIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLight.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLight.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-ExtraLightIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-It.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-It.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Light.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Light.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-LightIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-LightIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Regular.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Regular.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Semibold.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-Semibold.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-SemiboldIt.ttf.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF/TTF/SourceSerif4-SemiboldIt.ttf.woff -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Black.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Black.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BlackIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BlackIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Bold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Bold.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BoldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-BoldIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLight.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLight.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-ExtraLightIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-It.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-It.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Light.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Light.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-LightIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-LightIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Regular.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Regular.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Semibold.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-Semibold.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-SemiboldIt.otf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/OTF/SourceSerif4-SemiboldIt.otf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Black.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Black.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BlackIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BlackIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Bold.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BoldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-BoldIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLight.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLight.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-ExtraLightIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-It.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Light.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Light.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-LightIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-LightIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Regular.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-SemiboldIt.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/WOFF2/TTF/SourceSerif4-SemiboldIt.ttf.woff2 -------------------------------------------------------------------------------- /book/static/fonts/source-serif/source-serif-text.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/fonts/source-serif/source-serif-text.css -------------------------------------------------------------------------------- /book/static/lean_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/lean_logo.svg -------------------------------------------------------------------------------- /book/static/theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/book/static/theme.css -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /lean_packages 3 | -------------------------------------------------------------------------------- /examples/ExampleSupport.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/ExampleSupport.lean -------------------------------------------------------------------------------- /examples/Examples.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples.lean -------------------------------------------------------------------------------- /examples/Examples/Cat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Cat.lean -------------------------------------------------------------------------------- /examples/Examples/Classes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Classes.lean -------------------------------------------------------------------------------- /examples/Examples/Classes/Even.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Classes/Even.lean -------------------------------------------------------------------------------- /examples/Examples/DependentTypes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/DependentTypes.lean -------------------------------------------------------------------------------- /examples/Examples/DependentTypes/DB.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/DependentTypes/DB.lean -------------------------------------------------------------------------------- /examples/Examples/DependentTypes/Finite.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/DependentTypes/Finite.lean -------------------------------------------------------------------------------- /examples/Examples/DependentTypes/IndicesParameters.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/DependentTypes/IndicesParameters.lean -------------------------------------------------------------------------------- /examples/Examples/DependentTypes/Pitfalls.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/DependentTypes/Pitfalls.lean -------------------------------------------------------------------------------- /examples/Examples/Doug1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Doug1.lean -------------------------------------------------------------------------------- /examples/Examples/FunctorApplicativeMonad.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/FunctorApplicativeMonad.lean -------------------------------------------------------------------------------- /examples/Examples/FunctorApplicativeMonad/ActualDefs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/FunctorApplicativeMonad/ActualDefs.lean -------------------------------------------------------------------------------- /examples/Examples/HelloWorld.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/HelloWorld.lean -------------------------------------------------------------------------------- /examples/Examples/Induction.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Induction.lean -------------------------------------------------------------------------------- /examples/Examples/Intro.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Intro.lean -------------------------------------------------------------------------------- /examples/Examples/MonadTransformers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/MonadTransformers.lean -------------------------------------------------------------------------------- /examples/Examples/MonadTransformers/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/MonadTransformers/Conveniences.lean -------------------------------------------------------------------------------- /examples/Examples/MonadTransformers/Defs.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/MonadTransformers/Defs.lean -------------------------------------------------------------------------------- /examples/Examples/MonadTransformers/Do.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/MonadTransformers/Do.lean -------------------------------------------------------------------------------- /examples/Examples/Monads.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Monads.lean -------------------------------------------------------------------------------- /examples/Examples/Monads/Class.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Monads/Class.lean -------------------------------------------------------------------------------- /examples/Examples/Monads/Conveniences.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Monads/Conveniences.lean -------------------------------------------------------------------------------- /examples/Examples/Monads/Do.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Monads/Do.lean -------------------------------------------------------------------------------- /examples/Examples/Monads/IO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Monads/IO.lean -------------------------------------------------------------------------------- /examples/Examples/Monads/Many.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Monads/Many.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs.lean: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/Arrays.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/Arrays.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/Div.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/Div.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/Fin.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/Fin.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/Inequalities.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/Inequalities.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/InsertionSort.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/InsertionSort.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/InstrumentedInsertionSort.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/InstrumentedInsertionSort.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/TCO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/TCO.lean -------------------------------------------------------------------------------- /examples/Examples/ProgramsProofs/TCOTest.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/ProgramsProofs/TCOTest.lean -------------------------------------------------------------------------------- /examples/Examples/Props.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Props.lean -------------------------------------------------------------------------------- /examples/Examples/SpecialTypes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/SpecialTypes.lean -------------------------------------------------------------------------------- /examples/Examples/Universes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Examples/Universes.lean -------------------------------------------------------------------------------- /examples/ForMIO.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/ForMIO.lean -------------------------------------------------------------------------------- /examples/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/Main.lean -------------------------------------------------------------------------------- /examples/README.rst: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/book-support.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/book-support.el -------------------------------------------------------------------------------- /examples/douglib/DirTree.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/douglib/DirTree.lean -------------------------------------------------------------------------------- /examples/early-return/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /lake-packages/* 3 | -------------------------------------------------------------------------------- /examples/early-return/EarlyReturn.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/early-return/EarlyReturn.lean -------------------------------------------------------------------------------- /examples/early-return/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/early-return/expected -------------------------------------------------------------------------------- /examples/early-return/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/early-return/lakefile.lean -------------------------------------------------------------------------------- /examples/early-return/no-name: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/early-return/no-name -------------------------------------------------------------------------------- /examples/early-return/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/early-return/run -------------------------------------------------------------------------------- /examples/early-return/too-many-args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/early-return/too-many-args -------------------------------------------------------------------------------- /examples/feline/1/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/feline/1/Main.lean -------------------------------------------------------------------------------- /examples/feline/1/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/feline/1/lakefile.toml -------------------------------------------------------------------------------- /examples/feline/1/lean-toolchain: -------------------------------------------------------------------------------- 1 | ../../lean-toolchain -------------------------------------------------------------------------------- /examples/feline/2/FelineLib.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/feline/2/FelineLib.lean -------------------------------------------------------------------------------- /examples/feline/2/Main.lean: -------------------------------------------------------------------------------- 1 | import FelineLib 2 | -------------------------------------------------------------------------------- /examples/feline/2/expected/test12.txt: -------------------------------------------------------------------------------- 1 | It's time to find a warm spot 2 | and curl up! 3 | -------------------------------------------------------------------------------- /examples/feline/2/expected/test1purr2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/feline/2/expected/test1purr2.txt -------------------------------------------------------------------------------- /examples/feline/2/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/feline/2/lakefile.toml -------------------------------------------------------------------------------- /examples/feline/2/test1.txt: -------------------------------------------------------------------------------- 1 | It's time to find a warm spot 2 | -------------------------------------------------------------------------------- /examples/feline/2/test2.txt: -------------------------------------------------------------------------------- 1 | and curl up! 2 | -------------------------------------------------------------------------------- /examples/first-lake/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/first-lake/expected/Greeting.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/first-lake/expected/Greeting.lean -------------------------------------------------------------------------------- /examples/first-lake/expected/Greeting/Basic.lean: -------------------------------------------------------------------------------- 1 | def hello := "world" -------------------------------------------------------------------------------- /examples/first-lake/expected/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/first-lake/expected/Main.lean -------------------------------------------------------------------------------- /examples/first-lake/expected/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/first-lake/expected/lakefile.toml -------------------------------------------------------------------------------- /examples/formio/expected: -------------------------------------------------------------------------------- 1 | Hello! 2 | abc123 3 | Ok 4 | -------------------------------------------------------------------------------- /examples/formio/test-data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/formio/test-data -------------------------------------------------------------------------------- /examples/hello-name/HelloName.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/hello-name/HelloName.lean -------------------------------------------------------------------------------- /examples/hello-name/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/hello-name/run -------------------------------------------------------------------------------- /examples/inorder_python/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/inorder_python/expected -------------------------------------------------------------------------------- /examples/inorder_python/inordernumbering.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/inorder_python/inordernumbering.py -------------------------------------------------------------------------------- /examples/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/lake-manifest.json -------------------------------------------------------------------------------- /examples/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/lakefile.lean -------------------------------------------------------------------------------- /examples/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:4.21.0 2 | -------------------------------------------------------------------------------- /examples/rwe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/rwe.py -------------------------------------------------------------------------------- /examples/second-lake/greeting/Aux.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/second-lake/greeting/Aux.lean -------------------------------------------------------------------------------- /examples/second-lake/greeting/Greeting.lean: -------------------------------------------------------------------------------- 1 | def hello := "world" -------------------------------------------------------------------------------- /examples/second-lake/greeting/Greeting/Smile.lean: -------------------------------------------------------------------------------- 1 | def Expression.happy : String := "a big smile" 2 | -------------------------------------------------------------------------------- /examples/second-lake/greeting/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/second-lake/greeting/Main.lean -------------------------------------------------------------------------------- /examples/second-lake/greeting/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/second-lake/greeting/lakefile.lean -------------------------------------------------------------------------------- /examples/second-lake/greeting/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.18.0 -------------------------------------------------------------------------------- /examples/simple-hello/Hello.lean: -------------------------------------------------------------------------------- 1 | def main : IO Unit := IO.println "Hello, world!" 2 | -------------------------------------------------------------------------------- /examples/sort-demo/run-usage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/sort-demo/run-usage -------------------------------------------------------------------------------- /examples/sort-demo/test-data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lean-zh/fp-lean-zh/HEAD/examples/sort-demo/test-data --------------------------------------------------------------------------------