├── Blocks.hs ├── Blocks.pgf ├── GFLeanTransfer.cabal ├── LICENSE ├── Main.hs ├── Processing.hs ├── README.md ├── Simplifications.hs ├── Texts.hs ├── Texts.pgf ├── Translations.hs ├── Utilities.hs ├── examples.txt ├── prompt.txt ├── resources └── simplifiedForThel │ ├── Blocks.gf │ ├── BlocksLean.gf │ ├── Lexicon.gf │ ├── LexiconEng.gf │ ├── LogicProp.gf │ ├── LogicPropLean.gf │ ├── Notions.gf │ ├── NotionsEng.gf │ ├── Predicates.gf │ ├── PredicatesEng.gf │ ├── Statements.gf │ ├── StatementsEng.gf │ ├── Terms.gf │ ├── TermsEng.gf │ ├── Texts.gf │ ├── TextsEng.gf │ ├── Utils.gf │ └── lexicon.md ├── stack.yaml └── stack.yaml.lock /Blocks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Blocks.hs -------------------------------------------------------------------------------- /Blocks.pgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Blocks.pgf -------------------------------------------------------------------------------- /GFLeanTransfer.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/GFLeanTransfer.cabal -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/LICENSE -------------------------------------------------------------------------------- /Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Main.hs -------------------------------------------------------------------------------- /Processing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Processing.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/README.md -------------------------------------------------------------------------------- /Simplifications.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Simplifications.hs -------------------------------------------------------------------------------- /Texts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Texts.hs -------------------------------------------------------------------------------- /Texts.pgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Texts.pgf -------------------------------------------------------------------------------- /Translations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Translations.hs -------------------------------------------------------------------------------- /Utilities.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/Utilities.hs -------------------------------------------------------------------------------- /examples.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/examples.txt -------------------------------------------------------------------------------- /prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/prompt.txt -------------------------------------------------------------------------------- /resources/simplifiedForThel/Blocks.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Blocks.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/BlocksLean.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/BlocksLean.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Lexicon.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Lexicon.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/LexiconEng.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/LexiconEng.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/LogicProp.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/LogicProp.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/LogicPropLean.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/LogicPropLean.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Notions.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Notions.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/NotionsEng.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/NotionsEng.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Predicates.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Predicates.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/PredicatesEng.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/PredicatesEng.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Statements.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Statements.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/StatementsEng.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/StatementsEng.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Terms.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Terms.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/TermsEng.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/TermsEng.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Texts.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Texts.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/TextsEng.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/TextsEng.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/Utils.gf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/Utils.gf -------------------------------------------------------------------------------- /resources/simplifiedForThel/lexicon.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/resources/simplifiedForThel/lexicon.md -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pkshashank/GFLeanTransfer/HEAD/stack.yaml.lock --------------------------------------------------------------------------------