summaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Expand)Author
2010-04-10regenerated clones with complete abstract and ready-maked Lexicon-based words...aarne
2010-04-09generalized the Person category in Phrasebook to plurals, added some new Wordsaarne
2010-04-08German phrasebook; ontology document; ignoring single lines in gfdocaarne
2010-04-08started a script and format for updating a set of gf filesaarne
2010-04-07cloned the rest of resource languages in Phrasebookaarne
2010-04-07reordered phrasebook sources so that they are easier to clone; cloned Ger,Spa...aarne
2010-04-07a script for cloning (Phrasebook) grammarsaarne
2010-04-06improved the performance of Romance while retaining correct agreement ; remov...aarne
2010-04-06comments in phrasebook abstract syntaxaarne
2010-04-06change in Romance agreement to produce correct number for polite singular pro...aarne
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 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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:26:55 +0000