 krasimir
|
fba592ecf8
|
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
2010-03-20 07:26:53 +00:00 |
|
|
krasimir
|
973a0cacb7
|
pattern @ should be propagated to PGF
|
2010-03-18 20:21:57 +00:00 |
|
|
krasimir
|
985bb550c0
|
fix the precedence for patterns ~, - and @
|
2010-03-18 19:52:45 +00:00 |
|
|
krasimir
|
f870c4d80f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
|
krasimir
|
d91999dec0
|
incomplete code for adjoints and monads
|
2010-03-15 17:31:15 +00:00 |
|
|
krasimir
|
381a7a2f07
|
identity functor
|
2010-03-15 16:35:00 +00:00 |
|
|
krasimir
|
c6f3111e67
|
added natural transformations
|
2010-03-15 14:52:47 +00:00 |
|
|
krasimir
|
aef1a1a5a3
|
incomplete code for composition of functors
|
2010-03-15 10:47:00 +00:00 |
|
|
krasimir
|
9f45bb0df1
|
refactor Morphisms.gf and InitialAndTerminal.gf
|
2010-03-15 10:43:20 +00:00 |
|
|
krasimir
|
d7c68cdf27
|
two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms
|
2010-03-15 10:41:39 +00:00 |
|
|
krasimir
|
dfbc6ba9a3
|
added Equalizers in category-theory
|
2010-03-15 09:57:39 +00:00 |
|
|
krasimir
|
828fc44029
|
bugfix in PGF.TypeCheck
|
2010-03-14 12:21:00 +00:00 |
|
|
krasimir
|
db2d9a3238
|
cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope
|
2010-03-13 20:12:00 +00:00 |
|
|
aarne
|
efd1b5f252
|
fixes in FoodsUrd and DemoRon compilation
|
2010-03-05 07:22:57 +00:00 |
|
|
hallgren
|
8e344646f0
|
Quick fix to adapt to new version of the PGF library.
|
2010-03-04 18:46:18 +00:00 |
|
|
aarne
|
8422db66ca
|
FoodsUrd added (by Shafqat)
|
2010-03-04 16:56:36 +00:00 |
|
|
aarne
|
590cc6bb0b
|
Macros and note in GFCC document.
|
2010-03-02 21:22:53 +00:00 |
|
|
aarne
|
bbf564730b
|
gfcc README
|
2010-03-02 19:30:16 +00:00 |
|
|
aarne
|
dbe5a210b7
|
cleaned up gfcc ; added gfcc script
|
2010-03-02 19:27:34 +00:00 |
|
|
aarne
|
e4748e9984
|
restored gfcc example (GF C compiler)
|
2010-03-02 19:10:56 +00:00 |
|
|
krasimir
|
21b10f91cb
|
rule for pretty printing implicit arguments
|
2010-02-22 20:09:28 +00:00 |
|
|
krasimir
|
d2988814a8
|
add pretty printing rule for implicit patterns
|
2010-02-22 20:02:53 +00:00 |
|
|
krasimir
|
09da1013f9
|
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
|
2010-02-22 15:50:41 +00:00 |
|
|
krasimir
|
21ad608e2a
|
functors
|
2010-02-22 14:40:28 +00:00 |
|
|
krasimir
|
bcf4bc7d23
|
the oposites of two equal arrows are equal arrows
|
2010-02-22 14:38:13 +00:00 |
|
|
krasimir
|
59d640088e
|
bugfix in PGF.TypeCheck
|
2010-02-20 18:48:06 +00:00 |
|
|
krasimir
|
45d209baf8
|
two theorems every iso is mono and every iso is epi
|
2010-02-20 16:37:23 +00:00 |
|
|
krasimir
|
3d8b7f9850
|
some more definitions in category theory
|
2010-02-20 16:33:40 +00:00 |
|
|
krasimir
|
d09b05ab3f
|
one more test for cyclic def rules
|
2010-02-16 20:27:07 +00:00 |
|
|
aarne
|
376f985409
|
removed strange typo from summerschool FoodsGer
|
2010-02-17 16:08:27 +00:00 |
|
|
krasimir
|
57c2a4dcd2
|
fix the Haskell code generation
|
2010-02-17 13:09:23 +00:00 |
|
|
krasimir
|
bfdef2f60c
|
replace SS with StmtS in SUMO
|
2010-02-17 12:38:11 +00:00 |
|
|
krasimir
|
d6627b5a5a
|
added TPTP for SUMO
|
2010-02-17 12:21:41 +00:00 |
|
|
krasimir
|
6690fbaf6c
|
SUMO axioms
|
2010-02-17 11:12:43 +00:00 |
|
|
krasimir
|
f7f0112256
|
added examples/SUMO
|
2010-02-17 11:07:24 +00:00 |
|
|
krasimir
|
a4d41ef3e3
|
fix in PGF.Printer
|
2010-02-17 10:31:10 +00:00 |
|
|
krasimir
|
b5d9ae552d
|
-output-format=pgf_pretty now prints the flags as well
|
2010-02-17 10:20:49 +00:00 |
|
|
krasimir
|
32f9499f2e
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +00:00 |
|
|
krasimir
|
19b17dceb6
|
no need to keep the list of constructors per category in .gfo
|
2010-02-16 09:34:02 +00:00 |
|
|
krasimir
|
61287f3925
|
more category theory -> morphisms, initial and terminal objects
|
2010-02-15 10:35:24 +00:00 |
|
|
krasimir
|
af48998ef6
|
basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon
|
2010-02-14 10:20:08 +00:00 |
|
|
krasimir
|
b2ce65bbe6
|
white space instead of tab in GF.cabal
|
2010-02-12 21:31:30 +00:00 |
|
|
krasimir
|
9c23a98fc0
|
add PGF.Probabilistic in GF.cabal
|
2010-02-12 16:12:17 +00:00 |
|
|
krasimir
|
ea85cd1078
|
one more test for cyclic operations
|
2010-02-09 18:38:11 +00:00 |
|
|
krasimir
|
64da1c2021
|
allow negative integers in the grammar syntax
|
2010-02-08 12:59:22 +00:00 |
|
|
krasimir
|
a1c70841c1
|
test case for lazy evaluation in the abstract syntax
|
2010-02-07 22:22:30 +00:00 |
|
|
aarne
|
f0f9c0acfa
|
generalized tour to a variable language by the script MkTour
|
2010-02-08 10:52:08 +00:00 |
|
|
krasimir
|
9564d85fa5
|
command cc now works even without loaded grammar. useful for testing closed expressions
|
2010-02-07 19:23:26 +00:00 |
|
|
krasimir
|
c1d2ed1a7b
|
test case for invalid parameter definition
|
2010-02-06 20:15:46 +00:00 |
|
|
krasimir
|
2544ea8c8a
|
in verbose mode print the rule names when compiling PMCFG
|
2010-02-06 18:24:15 +00:00 |
|