summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2010-02-17added examples/SUMOkrasimir
2010-02-17fix in PGF.Printerkrasimir
2010-02-17-output-format=pgf_pretty now prints the flags as wellkrasimir
2010-02-16fix the PGF printer for abstractkrasimir
2010-02-16no need to keep the list of constructors per category in .gfokrasimir
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-12white space instead of tab in GF.cabalkrasimir
2010-02-12add PGF.Probabilistic in GF.cabalkrasimir
2010-02-09one more test for cyclic operationskrasimir
2010-02-08allow negative integers in the grammar syntaxkrasimir
2010-02-07test case for lazy evaluation in the abstract syntaxkrasimir
2010-02-08generalized tour to a variable language by the script MkTouraarne
2010-02-07command cc now works even without loaded grammar. useful for testing closed ↵krasimir
expressions
2010-02-06test case for invalid parameter definitionkrasimir
2010-02-06in verbose mode print the rule names when compiling PMCFGkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-01 20:30:22 +0000