summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-03-23typo in CheckGrammarkrasimir
2010-03-23use the new more accurate location information for some error messageskrasimir
2010-03-23added codepage for Turkishkrasimir
2010-03-23added comment to every GF.Text.CPxxxx module about the purpose of the codepagekrasimir
2010-03-23add JavaScript API for completion. contributed by John J. Camillerikrasimir
2010-03-22fix checkInfoType in Parser.ykrasimir
2010-03-22www api command translategroup, which uses groupResultsaarne
2010-03-22store and propagate the exact source location for all judgements in the ↵krasimir
grammar. It may not be used accurately in the error messages yet
2010-03-22PGF.groupResults and the option l -groups, to show ambiguities grouped by ↵aarne
laguage
2010-03-22transliteration for Urdukrasimir
2010-03-22produce optimized Lambda Prolog codekrasimir
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-20added experimental generation of Lambda Prolog code. Could be used for ↵krasimir
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18fix the precedence for patterns ~, - and @krasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
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-14bugfix in PGF.TypeCheckkrasimir
2010-03-13cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scopekrasimir
2010-03-05fixes in FoodsUrd and DemoRon compilationaarne
2010-03-04Quick fix to adapt to new version of the PGF library.hallgren
2010-03-04FoodsUrd added (by Shafqat)aarne
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-22rule for pretty printing implicit argumentskrasimir
2010-02-22add pretty printing rule for implicit patternskrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵krasimir
to the meta store
2010-02-22functorskrasimir
2010-02-22the oposites of two equal arrows are equal arrowskrasimir
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-20two theorems every iso is mono and every iso is epikrasimir
2010-02-20some more definitions in category theorykrasimir
2010-02-16one more test for cyclic def ruleskrasimir
2010-02-17removed strange typo from summerschool FoodsGeraarne
2010-02-17fix the Haskell code generationkrasimir
2010-02-17replace SS with StmtS in SUMOkrasimir
2010-02-17added TPTP for SUMOkrasimir
2010-02-17SUMO axiomskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-01 21:02:37 +0000