Directory listing for gf-3.3 source tarball | Hackage

Directory listing for gf-3.3 source tarball

gf-3.3/

.authorspellings
LICENSE
Makefile
README
Setup.hs
WebSetup.hs
build-binary-dist.sh
download.html
gf.cabal
index.html
bin/
- gfmap
- update_html
contrib/
- c-bindings/
- py-bindings/
- summerschool/
  - foods/
  - mini/
css/
- style.css
debian/
- changelog
- control
- copyright
- rules
demos/
- index-numbers.html
- index-numbers.t2t
- index.html
- TransQuiz/
- resource-api/
doc/
- GF-0.1.tgz
- Makefile
- align6.png
- darcs-cm
- gf-bib.bib
- gf-bibliography.html
- gf-bibliography.t2t
- gf-developers.html
- gf-developers.t2t
- gf-editor-modes.html
- gf-editor-modes.t2t
- gf-help-full.txt
- gf-lrec-2010.pdf
- gf-people.html
- gf-quickstart.html
- gf-reference.html
- gf-reference.pdf
- gf-reference.t2t
- gf-refman.html
- gf-shell-reference.html
- gf-shell-reference.t2t
- index.html
- nancy-slides.pdf
- txt2html.sh
- Logos/
  - gf-logo.gif
  - gf-logo.png
  - gf0.png
  - gf0.svg
  - gf00.png
  - gf00.svg
- tutorial/
  - 10lang-small.png
  - align2.png
  - categories.png
  - food-js.png
  - food-magnet.png
  - foodmarket.png
  - gf-tutorial.html
  - gf-tutorial.t2t
  - iphone.jpg
  - myparse.png
  - mytree.png
download/
- gfc
- index-3.1.6.html
- index-3.1.6.t2t
- index-3.2.9.html
- index-3.2.9.t2t
- index-3.2.html
- index-3.2.t2t
- index.html
- index.t2t
- old-index.html
- release-3.1.6.html
- release-3.1.6.txt
- release-3.2.html
- release-3.2.t2t
- release-3.3.html
- release-3.3.t2t
eclipse/
- index.html
- beta/
- examples/
  - functors/
  - hello/
- images/
examples/
- RDF/
  - RDF.gf
- SUMO/
  - Basic.gf
  - BasicBul.gf
  - BasicEng.gf
  - BasicFre.gf
  - BasicRon.gf
  - BasicSwe.gf
  - Birds.gf
  - BirdsBul.gf
  - BirdsEng.gf
  - BirdsSwe.gf
  - Communications.gf
  - CountriesAndRegions.gf
  - CountriesAndRegionsEng.gf
  - CountriesAndRegionsRon.gf
  - Economy.gf
  - EconomyEng.gf
  - EconomyFre.gf
  - EconomyRon.gf
  - Elements.gf
  - ElementsEng.gf
  - Engineering.gf
  - EngineeringEng.gf
  - EngineeringFre.gf
  - EngineeringRon.gf
  - FinancialOntology.gf
  - Geography.gf
  - GeographyEng.gf
  - Government.gf
  - Merge.gf
  - MergeBul.gf
  - MergeEng.gf
  - MergeFre.gf
  - MergeRon.gf
  - MergeSwe.gf
  - MidLevelOntology.gf
  - MidLevelOntologyEng.gf
  - MidLevelOntologyFre.gf
  - MidLevelOntologyRon.gf
  - Military.gf
  - Mondial.gf
  - MondialEng.gf
  - QoSontology.gf
  - QoSontologyEng.gf
  - QoSontologyFre.gf
  - QoSontologyRon.gf
  - SUMO.gf
  - SUMOBul.gf
  - SUMOEng.gf
  - SUMOFre.gf
  - SUMORon.gf
  - SUMOSwe.gf
  - Transportation.gf
  - WMD.gf
  - WorldAirportsA_K.gf
  - WorldAirportsL_Z.gf
  - RGLExt/
    - DictLang.gf
    - DictLangEng.gf
    - DictLangFre.gf
    - DictLangRon.gf
    - Extension.gf
    - ExtensionEng.gf
    - ExtensionFre.gf
    - ExtensionRon.gf
    - ExtraLexicon.gf
    - ExtraLexiconFre.gf
    - ExtraLexiconRon.gf
    - ParamBasic.gf
  - TPTP/
    - CommunicationsAx.p
    - CommunicationsLemAx.p
    - CommunicationsPredAx.p
    - CountriesAndRegionsAx.p
    - CountriesAndRegionsLemAx.p
    - EconomyAx.p
    - EconomyLemAx.p
    - EconomyPredAx.p
    - EconomySubAttAx.p
    - FinancialOntologyAx.p
    - FinancialOntologyLemAx.p
    - GeographyAx.p
    - GeographyLemAx.p
    - GeographyPredAx.p
    - GeographySubAttAx.p
    - GovernmentAx.p
    - GovernmentLemAx.p
    - GovernmentPredAx.p
    - GovernmentSubAttAx.p
    - MergeAx.p
    - MergeLemAx.p
    - MergePredAx.p
    - MergeSubAttAx.p
    - Mid_level_ontologyAx.p
    - Mid_level_ontologyLemAx.p
    - Mid_level_ontologyPredAx.p
    - Mid_level_ontologySubAttAx.p
    - MilitaryAx.p
    - MilitaryLemAx.p
    - MilitaryPredAx.p
    - QoSOntologyAx.p
    - QoSOntologyLemAx.p
    - TransportationAx.p
    - TransportationLemAx.p
    - TransportationPredAx.p
    - WMDAx.p
    - WMDLemAx.p
    - WMDPredAx.p
    - WMDSubAttAx.p
    - WorldAirportsA_KAx.p
    - WorldAirportsA_KPredAx.p
    - WorldAirportsL_ZAx.p
    - WorldAirportsL_ZPredAx.p
    - elementsAx.p
    - elementsLemAx.p
    - elementsPredAx.p
    - engineeringAx.p
    - engineeringLemAx.p
    - mondialAx.p
    - mondialPredAx.p
    - test1.p
    - test2.p
    - test3.p
  - axioms/
    - Communications.gft
    - CountriesAndRegions.gft
    - CountriesAndRegionsP.gft
    - Economy.gft
    - EconomyHiO.gft
    - EconomyP.gft
    - EconomySubAtt.gft
    - EconomySubRel.gft
    - Either.gft
    - ExtraLem.gft
    - FinancialOntology.gft
    - FinancialOntologyHiO.gft
    - FinancialOntologySubRel.gft
    - Geography.gft
    - GeographyHiO.gft
    - GeographyP.gft
    - GeographySubAtt.gft
    - GeographySubRel.gft
    - Government.gft
    - GovernmentHiO.gft
    - GovernmentP.gft
    - GovernmentSubAtt.gft
    - GovernmentSubRel.gft
    - Merge.gft
    - MergeHiO.gft
    - MergeP.gft
    - MergeSubAtt.gft
    - MergeSubRel.gft
    - Mid_level_ontology.gft
    - Mid_level_ontologyHiO.gft
    - Mid_level_ontologyP.gft
    - Mid_level_ontologySubAtt.gft
    - Mid_level_ontologySubRel.gft
    - Military.gft
    - MilitaryP.gft
    - QoSOntology.gft
    - QoSOntologySubRel.gft
    - Transportation.gft
    - TransportationP.gft
    - TransportationSubRel.gft
    - WMD.gft
    - WMDP.gft
    - WMDSubAtt.gft
    - WorldAirportsA-KP.gft
    - WorldAirportsL-ZP.gft
    - elements.gft
    - elementsP.gft
    - engineering.gft
    - engineeringHiO.gft
    - engineeringP.gft
    - mondialP.gft
- animals/
  - Animals.gf
  - AnimalsEng.gf
  - AnimalsFre.gf
  - AnimalsSwe.gf
  - OldQuestionsI.gfe
  - Questions.gf
  - QuestionsEng.gf
  - QuestionsFre.gf
  - QuestionsI.gf
  - QuestionsI.gfe
  - QuestionsSwe.gf
- attempto/
  - Attempto.gf
  - Attempto1.gf
  - AttemptoEng.gf
  - AttemptoFin.gf
  - AttemptoFre.gf
  - AttemptoGer.gf
  - AttemptoI.gf
  - AttemptoIta.gf
  - AttemptoSwe.gf
  - AttemptoUrd.gf
  - LexAttempto.gf
  - LexAttemptoEng.gf
  - LexAttemptoFin.gf
  - LexAttemptoFre.gf
  - LexAttemptoGer.gf
  - LexAttemptoIta.gf
  - LexAttemptoSwe.gf
  - LexAttemptoUrd.gf
  - Symbols.gf
  - SymbolsC.gf
  - TestAttempto.gf
  - TestAttemptoEng.gf
  - TestAttemptoFin.gf
  - TestAttemptoFre.gf
  - TestAttemptoGer.gf
  - TestAttemptoIta.gf
  - TestAttemptoSwe.gf
  - TestAttemptoUrd.gf
  - attempto
- bronzeage/
  - Bronzeage.gf
  - BronzeageAra.gf
  - BronzeageBul.gf
  - BronzeageCat.gf
  - BronzeageDan.gf
  - BronzeageEng.gf
  - BronzeageFin.gf
  - BronzeageFre.gf
  - BronzeageGer.gf
  - BronzeageI.gf
  - BronzeageIta.gf
  - BronzeageNor.gf
  - BronzeagePol.gf
  - BronzeageRon.gf
  - BronzeageRus.gf
  - BronzeageSpa.gf
  - BronzeageSwe.gf
  - BronzeageUrd.gf
  - Makefile
  - Swadesh.gf
  - SwadeshAra.gf
  - SwadeshBul.gf
  - SwadeshCat.gf
  - SwadeshDan.gf
  - SwadeshEng.gf
  - SwadeshFin.gf
  - SwadeshFre.gf
  - SwadeshGer.gf
  - SwadeshI.gf
  - SwadeshIta.gf
  - SwadeshNor.gf
  - SwadeshPol.gf
  - SwadeshRon.gf
  - SwadeshRus.gf
  - SwadeshSpa.gf
  - SwadeshSwe.gf
  - SwadeshUrd.gf
- category-theory/
  - Adjoints.gf
  - Categories.gf
  - CategoryTheory.gf
  - Equalizer.gf
  - Functor.gf
  - InitialAndTerminal.gf
  - Monad.gf
  - Morphisms.gf
  - NaturalTransform.gf
- dates/
  - Dates.gf
  - DatesEng.gf
  - DatesFin.gf
  - DatesFre.gf
  - DatesSwe.gf
- discourse/
  - Discourse.gf
  - DiscourseEng.gf
  - DiscourseFin.gf
  - particles.txt
- experiments/
  - Dep.gf
  - Dep.labels
  - DepEng.gf
- gadt-transfer/
  - Foods.gf
  - FoodsDut.gf
  - FoodsEng.gf
  - Makefile
  - README
  - VeryFoods.hs
- gfcc/
  - CleanJVM.hs
  - Imper.gf
  - ImperC.gf
  - ImperJVM.gf
  - Makefile
  - README
  - ResImper.gf
  - abs.c
  - complin.bbl
  - complin.tex
  - factorial.c
  - fibonacci.c
  - gfcc
  - runtime.j
- gfm-format/
  - Food.gfm
  - Words.gfm
- graftals/
  - Cantor.gf
  - Dragon.gf
  - Graftal.gf
  - Koch.gf
  - Sierpinski.gf
- grammar-terms/
  - GrammarTerms.gf
  - GrammarTermsEng.gf
  - GrammarTermsGF.gf
  - MkTerms.hs
- jem-math/
  - LexMath.gf
  - LexMathFre.gf
  - LexMathSpa.gf
  - LexMathSwe.gf
  - Math.gf
  - MathEng.gf
  - MathFre.gf
  - MathI.gf
  - MathIta.gf
  - MathIta1.gf
  - MathSpa.gf
  - MathSwe.gf
- letter/
  - Letter.gf
  - LetterEng.gf
  - LetterFin.gf
  - LetterFre.gf
  - LetterHeb.gf
  - LetterRus.gf
  - LetterSwe.gf
  - README
  - editor/
    - editor.html
- lrec-tutorial/
  - Ara.gf
  - AraAra.gf
  - Arabic.gf
  - Grammar.gf
  - GrammarIta.gf
  - GrammarIta0.gf
  - Lang.gf
  - LangIta.gf
  - LexFaceIta.gf
  - Morpho.gf
  - One.gf
  - ResIta.gf
  - Zero.gf
  - ZeroDut.gf
  - ZeroEng.gf
  - ZeroFre.gf
  - ZeroGer.gf
  - ZeroHeb.gf
  - ZeroHebTr.gf
  - ZeroIta.gf
  - ZeroLat.gf
  - face/
    - Face.gf
    - FaceEn0.gf
    - FaceEng.gf
    - FaceFin.gf
    - FaceI.gf
    - FaceIta.gf
    - LexFace.gf
    - LexFaceEng.gf
    - LexFaceFin.gf
    - LexFaceIta.gf
- mathtext/
  - Geometry.gf
  - GeometryEng.gf
  - GeometryFre.gf
  - GeometryGer.gf
  - LexLogic.gf
  - LexLogicEng.gf
  - LexLogicFre.gf
  - LexLogicGer.gf
  - Logic.gf
  - LogicEng.gf
  - LogicFre.gf
  - LogicGer.gf
  - LogicI.gf
  - MathGeom.gf
  - MathGeomEng.gf
  - MathGeomFre.gf
  - MathGeomGer.gf
  - MathText.gf
  - MathTextEng.gf
  - MathTextFre.gf
  - MathTextGer.gf
  - MathTextI.gf
  - Symbols.gf
  - SymbolsX.gf
- messages/
  - Messages.gf
  - MessagesEng.gf
  - MessagesFre.gf
- morpho/
  - Eng.gf
  - EngDescr.gf
  - EngReal.gf
  - Fre.gf
  - FreDescr.gf
  - FreReal.gf
  - README.txt
- nlg/
  - Logic.gf
  - LogicCnc.gf
  - NLG.gf
  - NLGEng.gf
- nqueens/
  - NQueens.gf
  - NQueensAscii.gf
  - Nat.gf
  - NatAscii.gf
- numerals/
  - Numerals.gf
  - af_tunni.gf
  - albanian.gf
  - amharic.gf
  - arabic_classical.gf
  - arabic_modern.gf
  - basque.gf
  - bearlake_slave.gf
  - bulgarian.gf
  - catalan.gf
  - chinese.gf
  - croatian.gf
  - czech.gf
  - dagur.gf
  - danish.gf
  - decimal.gf
  - dutch.gf
  - english.gf
  - finnish.gf
  - french.gf
  - french_belgian.gf
  - french_swiss.gf
  - fulfulde.gf
  - geez.gf
  - german.gf
  - greek_classical.gf
  - greek_modern.gf
  - guahibo.gf
  - guarani.gf
  - hebrew_biblical.gf
  - hindi.gf
  - hungarian.gf
  - icelandic.gf
  - interlingua.gf
  - irish.gf
  - italian.gf
  - japanese.gf
  - kabardian.gf
  - kambera.gf
  - kawaiisu.gf
  - khmer.gf
  - khowar.gf
  - kolyma_yukaghir.gf
  - korean.gf
  - kulung.gf
  - kwami.gf
  - kwaza.gf
  - lalo.gf
  - lamani.gf
  - latvian.gf
  - lithuanian.gf
  - lotuxo.gf
  - maale.gf
  - malay.gf
  - maltese.gf
  - mapuche.gf
  - margi.gf
  - maybrat.gf
  - miya.gf
  - mongolian.gf
  - nenets.gf
  - norwegian_book.gf
  - old_church_slavonic.gf
  - oromo.gf
  - pashto.gf
  - polish.gf
  - portuguese.gf
  - quechua.gf
  - romanian.gf
  - russian.gf
  - sango.gf
  - slovak.gf
  - sorani.gf
  - spanish.gf
  - stieng.gf
  - swahili.gf
  - swedish.gf
  - tamil.gf
  - tampere.gf
  - thai.gf
  - tibetan.gf
  - totonac.gf
  - tuda_daza.gf
  - tukang_besi.gf
  - turkish.gf
  - votic.gf
  - yasin_burushaski.gf
  - zaiwa.gf
  - todo/
    - irula.gf
    - kodagu.gf
    - sanskrit.gf
    - sanskritTranslit.gf
    - thai.gf
    - thaiDU.gf
    - thaiP.gf
    - welsh.gf
- peacekeeping/
  - EXAMPLES
  - Makefile
  - Peace.gf
  - PeaceCat.gf
  - PeaceCatI.gf
  - PeaceLexCommon.gf
  - PeaceLexCommonI.gf
  - PeaceLexExt.gf
  - PeacePhrases.gf
  - PeaceRes.gf
  - PeaceSpoken.gf
  - PeaceSyntax.gf
  - PeaceSyntaxI.gf
  - README
  - english/
  - finnish/
  - swedish/
- phrasebook/
  - Clone.hs
  - Compile.hs
  - DisambPhrasebookEng.gf
  - DisambPhrasebookRon.gf
  - Greetings.gf
  - GreetingsBul.gf
  - GreetingsCat.gf
  - GreetingsDan.gf
  - GreetingsDut.gf
  - GreetingsEng.gf
  - GreetingsFin.gf
  - GreetingsFre.gf
  - GreetingsGer.gf
  - GreetingsIta.gf
  - GreetingsNor.gf
  - GreetingsPol.gf
  - GreetingsRon.gf
  - GreetingsRus.gf
  - GreetingsSpa.gf
  - GreetingsSwe.gf
  - GreetingsUrd.gf
  - Implementation.html
  - Makefile
  - Ontology.html
  - Phrasebook.gf
  - PhrasebookBul.gf
  - PhrasebookCat.gf
  - PhrasebookDan.gf
  - PhrasebookDut.gf
  - PhrasebookEng.gf
  - PhrasebookFin.gf
  - PhrasebookFre.gf
  - PhrasebookGer.gf
  - PhrasebookIta.gf
  - PhrasebookNor.gf
  - PhrasebookPol.gf
  - PhrasebookRon.gf
  - PhrasebookRus.gf
  - PhrasebookSpa.gf
  - PhrasebookSwe.gf
  - PhrasebookUrd.gf
  - Sentences.gf
  - SentencesBul.gf
  - SentencesCat.gf
  - SentencesDan.gf
  - SentencesDut.gf
  - SentencesEng.gf
  - SentencesFin.gf
  - SentencesFre.gf
  - SentencesGer.gf
  - SentencesI.gf
  - SentencesIta.gf
  - SentencesNor.gf
  - SentencesPol.gf
  - SentencesRon.gf
  - SentencesRus.gf
  - SentencesSpa.gf
  - SentencesSwe.gf
  - SentencesUrd.gf
  - Update.hs
  - Words.gf
  - WordsBul.gf
  - WordsCat.gf
  - WordsDan.gf
  - WordsDut.gf
  - WordsEng.gf
  - WordsFin.gf
  - WordsFre.gf
  - WordsGer.gf
  - WordsIta.gf
  - WordsNor.gf
  - WordsPol.gf
  - WordsRon.gf
  - WordsRus.gf
  - WordsSpa.gf
  - WordsSwe.gf
  - WordsUrd.gf
  - add_greetings.gfupdate
  - doc-phrasebook.html
  - doc-phrasebook.txt
  - help-phrasebook.html
  - help-phrasebook.txt
  - missing.txt
  - pgraph.png
  - picpic.jpg
  - testScript.gfs
  - www/
    - old-phrasebook.html
    - phrasebook.css
    - phrasebook.js
    - support.js
- query/
  - LexQuery.gf
  - LexQueryEng.gf
  - LexQueryFre.gf
  - LexQuerySwe.gf
  - Query.gf
  - QueryEng.gf
  - QueryFre.gf
  - QueryI.gf
  - QuerySwe.gf
  - README
  - TestQuery.gf
  - TestQueryEng.gf
  - TestQuerySwe.gf
  - test.gfs
  - test.txt
  - small/
- sammie/
  - ExtSammie.gf
  - ParamSammie.gf
  - ParamSammieEng.gf
  - ParamSammieFin.gf
  - ParamSammieFre.gf
  - ParamSammieGer.gf
  - ParamSammieSpa.gf
  - ParamSammieSwe.gf
  - Sammie.gf
  - SammieEng.gf
  - SammieEng1.gf
  - SammieFin.gf
  - SammieFre.gf
  - SammieGer.gf
  - SammieGer2.gf
  - SammieI.gf
  - SammieSpa.gf
  - SammieSwe.gf
- trigram/
  - Shaw.gf
  - ShawCnc.gf
  - Trigram.gf
  - TrigramCnc.gf
- tutorial/
  - calculator/
  - embedded/
  - food/
  - foods/
  - hello/
  - old/
    - semantics/
  - resource-foods/
  - smart/
  - syntax/
- typetheory/
  - Donkey.gf
  - DonkeyEng.gf
  - README
  - Types.gf
  - TypesSymb.gf
gf-book/
- gf-book-cover.png
- index.html
- index.txt
- toc-gf-book.txt
- examples/
lib/
- alltenses
- minimal
- prelude
- present
- doc/
- haskell/
  - Numeral.hs
- src/
src/
- compiler/
- example-based/
- runtime/
- server/
- tools/
- ui/
  - android/
  - gwt/
- www/
testsuite/
- compiler/
- libraries/
  - exx-resource.gfs
  - exx-resource.gfs.gold
- runtime/