summaryrefslogtreecommitdiff
path: root/examples/tutorial
AgeCommit message (Expand)Author
2010-10-18in tutorial/smart remove the hack that forced the proof object to be resolvedkrasimir
2010-06-18Really adding QuerySpa to embedded.jordi.saludes
2010-06-18Added QuerySpa to tutorial/embedded.jordi.saludes
2010-07-07fix in example/tutorial/smart/SmartFre.gf to make the dependent types work ni...krasimir
2009-04-08food grammar path changed in tutorialaarne
2009-04-02fixes before beta3 releaseaarne
2009-03-09tested "minimal" resource to compile Foods and Bronzeageaarne
2008-11-11tutorial complete with server and jsaarne
2008-11-11fixed some tutorial grammars and updated embedded section (JavaScript and web...aarne
2008-11-10updated tutorial up to lexers ; fixed lexcode in GF (was wrong due to a typo)aarne
2008-10-15restored the possibility to compile .cf files to gfaarne
2008-10-01refreshed the tutorialaarne
2008-10-01Italian "quello" correctedaarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
2008-06-09added some functions to overloaded APIaarne
2007-12-20merged Gf and Fg classes in generated Haskellaarne
2007-10-23insertObject in AdVP in tutorial/syntaxaarne
2007-10-23insertObject in Grammaraarne
2007-10-22polished the syntax grammar for the bookaarne
2007-10-21Swedish functor implementation of Baseaarne
2007-10-21English Base implementation with functoraarne
2007-10-21the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by comme...aarne
2007-10-20started resource implementation of query languageaarne
2007-10-20semantics extended to questionsaarne
2007-10-19two versions of semantics (the Logic version incomplete)aarne
2007-10-19started semantics module in tutorialaarne
2007-10-17added coordination to tutorial grammar example.aarne
2007-10-05removed unnecessary imports from GFCCtoHaskell generationaarne
2007-10-04started new GFCC syntax with dep. types etcaarne
2007-10-04resource application example in tutorial/syntaxaarne
2007-10-04refactored tutorial syntax exampleaarne
2007-09-14Couple of fixes for the "food" example in Frenchbernardy
2007-09-20math with gfccaarne
2007-09-12last adjustments of examples before courseaarne
2007-09-11refs for bookaarne
2007-09-06comented ExtFoodsaarne
2007-09-06ExtFoods for bookaarne
2007-09-05transfer exxaarne
2007-09-05modernized parser in EmbedAPIaarne
2007-09-04cleaned up Calculator exampleaarne
2007-09-04new precedence libaarne
2007-09-04CPaarne
2007-09-04divaarne
2007-09-03calculator exaarne
2007-09-03these,those in Constructorsaarne
2007-09-02Ita in resaarne
2007-09-02resource using exx revisedaarne
2007-08-31course updateaarne
2007-08-28chap on syntax and morphoaarne
2007-08-16section on agreementaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 19:46:18 +0000