summaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Expand)Author
2010-03-31Olga's etc corrections in Phrasebookaarne
2010-03-30moved phrases like 'I am hungry' from Greetings to Words to make them more ge...aarne
2010-03-30removed Roles; updated Phrasebook docaarne
2010-03-30simplified the treatment of politeness in Phrasebookaarne
2010-03-30disambiguation in Phrasebook grammars, PGF server, and the GUIaarne
2010-03-29information on missing words; fix in PhraseDutaarne
2010-03-29AttemptoUrd addedaarne
2010-03-28fine tuning phrasebookaarne
2010-03-28catching initial bind symbol in PGFServeraarne
2010-03-28version 0.2 of phrasebookaarne
2010-03-28Action category, more doc in Phrasebookaarne
2010-03-28short-phrase translation; added Swe; started doc in Phrasebookaarne
2010-03-26change Food to Words in Phrasebook, since it's unpractical to have many small...aarne
2010-03-24even simpler version of NQueenskrasimir
2010-03-24the Plus predicate from NQueens is replaced with definition for function pluskrasimir
2010-03-24politeness and disambiguation in Phrasebook (not visible yet)aarne
2010-03-21French phrasebookaarne
2010-03-21English version of Phrasebookaarne
2010-03-21the NQueens algorithm written in GFkrasimir
2010-03-21Diff interface for Phrasebookaarne
2010-03-20started Phrasebook with Finnish and Romanianaarne
2010-03-15incomplete code for adjoints and monads krasimir
2010-03-15identity functorkrasimir
2010-03-15added natural transformationskrasimir
2010-03-15incomplete code for composition of functorskrasimir
2010-03-15refactor Morphisms.gf and InitialAndTerminal.gfkrasimir
2010-03-15two theorems without proofs: every equalizer is monomorphism; every coequaliz...krasimir
2010-03-15added Equalizers in category-theorykrasimir
2010-03-02Macros and note in GFCC document.aarne
2010-03-02gfcc READMEaarne
2010-03-02cleaned up gfcc ; added gfcc scriptaarne
2010-03-02restored gfcc example (GF C compiler)aarne
2010-02-22functorskrasimir
2010-02-22the oposites of two equal arrows are equal arrowskrasimir
2010-02-20two theorems every iso is mono and every iso is epikrasimir
2010-02-20some more definitions in category theorykrasimir
2010-02-17replace SS with StmtS in SUMOkrasimir
2010-02-17added TPTP for SUMOkrasimir
2010-02-17SUMO axiomskrasimir
2010-02-17added examples/SUMOkrasimir
2010-02-15more category theory -> morphisms, initial and terminal objectskrasimir
2010-02-14basic category theory expressed in GF. Note: works only with my development v...krasimir
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ma...aarne
2010-02-01fixed Sammie examples to compile (except Spa)aarne
2010-01-28example_based returns the list of all unknown wordsaarne
2010-01-28in example-based grammar conversion, warnings about unknown wordsaarne
2010-01-27command eb for example-based grammar conversion; see 'help eb' and the exampl...aarne
2010-01-05Swedish "each of" in Attempto with correct agreementaarne
2010-01-05that_Subj in Italianaarne
2010-01-05agreement in German Predetaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-21 07:37:03 +0000