summaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Collapse)Author
2010-04-06comments in phrasebook abstract syntaxaarne
2010-04-06change in Romance agreement to produce correct number for polite singular ↵aarne
pronouns ; linking functions that involve mkClause now takes a long time and should be revised
2010-04-06fixed Finnish youPol complement number to Sg ; some encoding things in Frenchaarne
2010-04-05generalized and extended Phrasebook in many waysaarne
2010-04-04DisambPhrasebookRon addedaarne
2010-04-04reduced overgeneration by only allowing one AdA in Phrasebookaarne
2010-03-31Olga's etc corrections in Phrasebookaarne
2010-03-30moved phrases like 'I am hungry' from Greetings to Words to make them more ↵aarne
general
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 ↵aarne
small modules; added syntactic forms and words
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 ↵krasimir
coequalizer is epimorphisms
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 ↵krasimir
version of GF. It will be pushed in darcs soon
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ↵aarne
make it compile
2010-02-01fixed Sammie examples to compile (except Spa)aarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-28 03:08:48 +0000