summaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Expand)Author
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
2010-01-04fixes in Attempto aarne
2010-01-04number agreement in Romance predeterminersaarne
2009-12-18mathtext examples from Bonnaarne
2009-12-08Polish Bronzeage, compile with 13 languagesaarne
2009-11-16Dutch lexicon generated via Google translate; method in lib/src/MkExx.hsaarne
2009-10-19labels read from config files for dependency trees, eg lib/src/dep.labelsaarne
2009-10-19experiment examples, starting with Dep treesaarne
2009-10-08added start category S to Trigram.gfkrasimir
2009-10-08just for fun - grammar for trigram models in GFkrasimir
2009-10-08Sammie grammars added to examplesaarne
2009-09-15make Romanian compilable for present, and Bronzeage for most languagesaarne
2009-08-27some corrections in Bronzeageaarne
2009-07-06added example for abstract syntax of RDFkrasimir
2009-06-22next-lib renamed to lib, lib to old-libaarne
2009-06-13use oper in exampleskrasimir
2009-05-20examples/test is moved to testsuitekrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:59:17 +0000