 krasimir
|
20d25c23cd
|
fix checkInfoType in Parser.y
|
2010-03-22 23:49:15 +00:00 |
|
|
aarne
|
cd25764350
|
www api command translategroup, which uses groupResults
|
2010-03-22 22:04:36 +00:00 |
|
|
krasimir
|
d3a84f994b
|
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
|
2010-03-22 21:15:29 +00:00 |
|
|
aarne
|
d1615144b6
|
PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage
|
2010-03-22 19:03:06 +00:00 |
|
|
krasimir
|
63adb15eb9
|
transliteration for Urdu
|
2010-03-22 09:29:43 +00:00 |
|
|
krasimir
|
8a0d72aeec
|
update in Urdu
|
2010-03-22 09:01:27 +00:00 |
|
|
krasimir
|
74448670f5
|
produce optimized Lambda Prolog code
|
2010-03-22 08:56:42 +00:00 |
|
|
aarne
|
2e78c2f774
|
Romanian numerals in utf8
|
2010-03-22 08:35:05 +00:00 |
|
|
aarne
|
534d553f3e
|
switch to utf8 in Romanian
|
2010-03-21 19:58:13 +00:00 |
|
|
aarne
|
8f148ee054
|
French phrasebook
|
2010-03-21 19:57:53 +00:00 |
|
|
aarne
|
d282a9e1a0
|
English version of Phrasebook
|
2010-03-21 17:42:11 +00:00 |
|
|
krasimir
|
f4d3da0ccc
|
the NQueens algorithm written in GF
|
2010-03-21 19:01:57 +00:00 |
|
|
aarne
|
5c9062f5ea
|
Diff interface for Phrasebook
|
2010-03-21 03:37:02 +00:00 |
|
|
aarne
|
99b5300795
|
MakeStructural in Cat and Spa
|
2010-03-20 21:24:01 +00:00 |
|
|
aarne
|
7434b000b7
|
refer to MakeStructural in Spa and Cat; moved have_V2 to proper place in Ron
|
2010-03-20 21:22:21 +00:00 |
|
|
aarne
|
49a016fd01
|
started Phrasebook with Finnish and Romanian
|
2010-03-20 21:21:50 +00:00 |
|
|
krasimir
|
57b8e42601
|
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
|
a74a81b8a1
|
pattern @ should be propagated to PGF
|
2010-03-18 20:21:57 +00:00 |
|
|
krasimir
|
b2c785edfa
|
fix the precedence for patterns ~, - and @
|
2010-03-18 19:52:45 +00:00 |
|
|
krasimir
|
0c2944fa7f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
|
krasimir
|
dc0a84951f
|
incomplete code for adjoints and monads
|
2010-03-15 17:31:15 +00:00 |
|
|
krasimir
|
8ac49f854f
|
identity functor
|
2010-03-15 16:35:00 +00:00 |
|
|
krasimir
|
1d97276a14
|
added natural transformations
|
2010-03-15 14:52:47 +00:00 |
|
|
krasimir
|
347347d411
|
incomplete code for composition of functors
|
2010-03-15 10:47:00 +00:00 |
|
|
krasimir
|
77be515422
|
refactor Morphisms.gf and InitialAndTerminal.gf
|
2010-03-15 10:43:20 +00:00 |
|
|
krasimir
|
52d5967008
|
two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms
|
2010-03-15 10:41:39 +00:00 |
|
|
krasimir
|
8985a9ea04
|
added Equalizers in category-theory
|
2010-03-15 09:57:39 +00:00 |
|
|
krasimir
|
34f5b2a436
|
bugfix in PGF.TypeCheck
|
2010-03-14 12:21:00 +00:00 |
|
|
krasimir
|
6a89647a6d
|
cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope
|
2010-03-13 20:12:00 +00:00 |
|
|
aarne
|
662aff27fe
|
tour extended up to sentences and questions
|
2010-03-06 22:05:48 +00:00 |
|
|
aarne
|
1dfbc7a741
|
fixes in FoodsUrd and DemoRon compilation
|
2010-03-05 07:22:57 +00:00 |
|
|
hallgren
|
e239e3331a
|
Quick fix to adapt to new version of the PGF library.
|
2010-03-04 18:46:18 +00:00 |
|
|
aarne
|
a2bd002917
|
FoodsUrd added (by Shafqat)
|
2010-03-04 16:56:36 +00:00 |
|
|
aarne
|
01ba78238f
|
more tours
|
2010-03-04 16:55:51 +00:00 |
|
|
aarne
|
3f8ce136fc
|
make DemoRon compile
|
2010-03-04 16:54:25 +00:00 |
|
|
aarne
|
43d23fc412
|
Macros and note in GFCC document.
|
2010-03-02 21:22:53 +00:00 |
|
|
aarne
|
948209889b
|
gfcc README
|
2010-03-02 19:30:16 +00:00 |
|
|
aarne
|
8dd2a5d23b
|
cleaned up gfcc ; added gfcc script
|
2010-03-02 19:27:34 +00:00 |
|
|
aarne
|
1be8903cce
|
restored gfcc example (GF C compiler)
|
2010-03-02 19:10:56 +00:00 |
|
|
krasimir
|
46c04f4c91
|
rule for pretty printing implicit arguments
|
2010-02-22 20:09:28 +00:00 |
|
|
krasimir
|
e876fad3fa
|
add pretty printing rule for implicit patterns
|
2010-02-22 20:02:53 +00:00 |
|
|
krasimir
|
5d2b204246
|
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
|
415375f35c
|
functors
|
2010-02-22 14:40:28 +00:00 |
|
|
krasimir
|
34a8b768eb
|
the oposites of two equal arrows are equal arrows
|
2010-02-22 14:38:13 +00:00 |
|
|
krasimir
|
f3c6acc6dc
|
bugfix in PGF.TypeCheck
|
2010-02-20 18:48:06 +00:00 |
|
|
krasimir
|
25adc81550
|
two theorems every iso is mono and every iso is epi
|
2010-02-20 16:37:23 +00:00 |
|
|
krasimir
|
8ca24fcad6
|
some more definitions in category theory
|
2010-02-20 16:33:40 +00:00 |
|
|
krasimir
|
ff30de63ce
|
one more test for cyclic def rules
|
2010-02-16 20:27:07 +00:00 |
|
|
aarne
|
e6dbcc2dc0
|
make demo in lib/src works (without Ron)
|
2010-02-17 16:14:30 +00:00 |
|
|
aarne
|
0c1f931725
|
removed strange typo from summerschool FoodsGer
|
2010-02-17 16:08:27 +00:00 |
|