├── README.md └── src └── main └── frege └── realworld ├── chapter1 ├── Arithmetic.fr ├── Boolean.fr ├── Lists.fr ├── Strings.fr ├── ValuesAndVariables.fr ├── WordCount.fr └── quux.txt ├── chapter14 └── Logger.fr ├── chapter2 ├── CompositeTypes.fr ├── Evaluation.fr ├── FunctionApplication.fr ├── FunctionsOverCompositeTypes.fr ├── Polymorphism.fr └── Types.fr ├── chapter3 ├── A_New_DataTypes.fr ├── B_Algebraic_DataTypes.fr ├── C_Pattern_Matching.fr ├── D_Record_Syntax.fr ├── E_Recursive_Types.fr ├── F_Error_or_Maybe.fr ├── G_Local_Variables.fr ├── H_Guards.fr ├── I_Exercise_1.fr ├── I_Exercise_2.fr └── I_Exercise_4.fr ├── chapter4 ├── A_InteractWith.fr ├── B_SplitLines.fr ├── C_FixLines.fr ├── D_Infix.fr ├── E_ListFunctions.fr ├── F_Looping.fr ├── G_Reducing.fr └── H_Fold.fr ├── experiments ├── ExampleTests.fr ├── Fibonacci.fr └── Oopsie.fr ├── java ├── CommandLineClock.fr └── FregeService.fr └── util └── Assertions.fr /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/README.md -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/Arithmetic.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/Arithmetic.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/Boolean.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/Boolean.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/Lists.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/Lists.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/Strings.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/Strings.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/ValuesAndVariables.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/ValuesAndVariables.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/WordCount.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/WordCount.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter1/quux.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter1/quux.txt -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter14/Logger.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter14/Logger.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter2/CompositeTypes.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter2/CompositeTypes.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter2/Evaluation.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter2/Evaluation.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter2/FunctionApplication.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter2/FunctionApplication.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter2/FunctionsOverCompositeTypes.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter2/FunctionsOverCompositeTypes.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter2/Polymorphism.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter2/Polymorphism.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter2/Types.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter2/Types.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/A_New_DataTypes.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/A_New_DataTypes.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/B_Algebraic_DataTypes.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/B_Algebraic_DataTypes.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/C_Pattern_Matching.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/C_Pattern_Matching.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/D_Record_Syntax.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/D_Record_Syntax.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/E_Recursive_Types.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/E_Recursive_Types.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/F_Error_or_Maybe.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/F_Error_or_Maybe.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/G_Local_Variables.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/G_Local_Variables.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/H_Guards.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/H_Guards.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/I_Exercise_1.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/I_Exercise_1.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/I_Exercise_2.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/I_Exercise_2.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter3/I_Exercise_4.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter3/I_Exercise_4.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/A_InteractWith.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/A_InteractWith.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/B_SplitLines.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/B_SplitLines.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/C_FixLines.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/C_FixLines.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/D_Infix.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/D_Infix.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/E_ListFunctions.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/E_ListFunctions.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/F_Looping.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/F_Looping.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/G_Reducing.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/G_Reducing.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/chapter4/H_Fold.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/chapter4/H_Fold.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/experiments/ExampleTests.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/experiments/ExampleTests.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/experiments/Fibonacci.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/experiments/Fibonacci.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/experiments/Oopsie.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/experiments/Oopsie.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/java/CommandLineClock.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/java/CommandLineClock.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/java/FregeService.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/java/FregeService.fr -------------------------------------------------------------------------------- /src/main/frege/realworld/util/Assertions.fr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Dierk/Real_World_Frege/HEAD/src/main/frege/realworld/util/Assertions.fr --------------------------------------------------------------------------------