 krasimir
|
e4442d1328
|
composOp should iterate under ImplArg
|
2010-05-28 12:19:04 +00:00 |
|
|
krasimir
|
38e04d0872
|
bugfix in GF.Grammar.Printer
|
2010-05-28 09:43:58 +00:00 |
|
|
krasimir
|
5e2feb4b60
|
since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation
|
2010-05-26 09:37:32 +00:00 |
|
|
krasimir
|
bb8eb03fbc
|
some fixes for graphvizDependencyTree
|
2010-05-25 13:01:59 +00:00 |
|
|
krasimir
|
31a93aa08b
|
bugfix in the linearization algorithm
|
2010-05-25 10:27:48 +00:00 |
|
|
krasimir
|
a45c256c13
|
fix the paradigms for bar/pub in WordsBul
|
2010-05-21 13:07:45 +00:00 |
|
|
krasimir
|
8f80d27102
|
fix some paradigms in Bulgarian
|
2010-05-21 12:52:03 +00:00 |
|
|
krasimir
|
6ecd94572a
|
fix the translation of QWhatAge in WordsBul.gf
|
2010-05-21 06:46:39 +00:00 |
|
|
krasimir
|
2ae2d42f92
|
use better word for Toilet in WordsBul
|
2010-05-21 06:43:44 +00:00 |
|
|
krasimir
|
87a388a62c
|
fix: use with_Prep and in_Prep from RGL in WordsBul.gf
|
2010-05-21 06:38:23 +00:00 |
|
|
krasimir
|
9989b5b188
|
complete Bulgarian phrasebook
|
2010-05-20 16:54:50 +00:00 |
|
|
krasimir
|
d50acffba2
|
add IAdvAdv in ExtraBul
|
2010-05-20 16:52:57 +00:00 |
|
|
krasimir
|
4f57d5baf1
|
added how8much_IAdv in StructuralBul.gf
|
2010-05-20 14:59:21 +00:00 |
|
|
krasimir
|
b8a76c245d
|
two more verb pairs in DictBul.gf
|
2010-05-20 14:06:18 +00:00 |
|
|
krasimir
|
372ada7015
|
bugfix in ExtraBul.gf - youPol for feminine is the same as for masculine
|
2010-05-20 13:40:54 +00:00 |
|
|
krasimir
|
a7c2e125a0
|
days of the week - WordsBul
|
2010-05-20 13:23:49 +00:00 |
|
|
krasimir
|
9ee6ab002a
|
family relations in PhrasebookBul
|
2010-05-20 13:11:02 +00:00 |
|
|
krasimir
|
be00a3fd39
|
transport in WordsBul.gf
|
2010-05-20 12:07:27 +00:00 |
|
|
krasimir
|
5c13c2c63e
|
nationalities and languages in WordsBul and SentencesBul
|
2010-05-20 11:51:49 +00:00 |
|
|
krasimir
|
ff36ba89ef
|
some more words in WordsBul.gf
|
2010-05-20 09:38:28 +00:00 |
|
|
krasimir
|
7e8a5d05ca
|
now every BracketedString also has reference to the source expression(s)
|
2010-05-19 13:32:39 +00:00 |
|
|
krasimir
|
8e01bc3118
|
added function lengthBracketedString
|
2010-05-19 12:40:07 +00:00 |
|
|
krasimir
|
529447f56f
|
now the parser could return partial parse results
|
2010-05-19 12:31:36 +00:00 |
|
|
krasimir
|
724ccb9b94
|
simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of plain pair of FId and LIndex
|
2010-05-17 06:12:45 +00:00 |
|
|
krasimir
|
5249711c34
|
in PGF, when printing function and category definitions, add semicolon
|
2010-05-11 12:50:51 +00:00 |
|
|
krasimir
|
a9453c87ab
|
refactor BracketedString
|
2010-05-01 21:02:32 +00:00 |
|
|
krasimir
|
ec968edf9e
|
test for bracketedLinearize
|
2010-05-01 20:54:31 +00:00 |
|
|
krasimir
|
a587cfef40
|
bug fix for bracketedLinearize with HOAS and meta variables
|
2010-05-01 20:51:07 +00:00 |
|
|
krasimir
|
9fe715a58d
|
fixes in unStr,unInt,unDouble,isMeta
|
2010-05-01 07:29:41 +00:00 |
|
|
krasimir
|
8742ebee38
|
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
|
2010-04-30 20:18:26 +00:00 |
|
|
krasimir
|
d2ae070eac
|
optimize/simplify the error reporting in the new API
|
2010-04-30 20:16:16 +00:00 |
|
|
krasimir
|
61a1171811
|
upgrade the testsuite to work with GHC 6.12
|
2010-04-30 19:27:53 +00:00 |
|
|
krasimir
|
a3e1d43318
|
fix PGFService after the change in the API
|
2010-04-30 15:09:21 +00:00 |
|
|
krasimir
|
ec23ad994a
|
in the libraries status page -> Swe & Tur also have big lexicons
|
2010-04-30 14:48:34 +00:00 |
|
|
krasimir
|
83528f15d7
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +00:00 |
|
|
krasimir
|
f3bee9fd36
|
wf,vt,vp,vd,aw should store files in utf8
|
2010-04-28 17:37:53 +00:00 |
|
|
krasimir
|
d53125757f
|
fix the -view option for vt,vp,vd,aw to work on Windows
|
2010-04-27 20:01:54 +00:00 |
|
|
krasimir
|
f80e650329
|
convert GF.Data.SortedList to UTF8
|
2010-04-24 09:13:26 +00:00 |
|
|
krasimir
|
94235548c4
|
fix parsing of literals
|
2010-04-23 20:46:14 +00:00 |
|
|
krasimir
|
5a9557d2cc
|
change the developers link directly in index.html
|
2010-04-23 18:58:46 +00:00 |
|
|
krasimir
|
c3906ec6ef
|
added link to the bugtracker from gf.cabal
|
2010-04-23 14:40:20 +00:00 |
|
|
krasimir
|
e152cd632f
|
tweak gf.cabal to be more Hackage friendly
|
2010-04-23 14:13:36 +00:00 |
|
|
krasimir
|
81cd3e2639
|
redirect the developers link to the GF wiki
|
2010-04-23 13:59:23 +00:00 |
|
|
krasimir
|
fa617e760c
|
link to Hackage from download/index.txt
|
2010-04-23 13:56:32 +00:00 |
|
|
krasimir
|
0e75eeb802
|
update index.txt
|
2010-04-23 13:44:18 +00:00 |
|
|
krasimir
|
3c50bfb17b
|
more in the release notes for 3.1.6
|
2010-04-23 13:26:57 +00:00 |
|
|
krasimir
|
f806a7890d
|
now the PGF service communicates with Graphviz using UTF8 for the input and binary for the output
|
2010-04-22 14:01:08 +00:00 |
|
|
krasimir
|
a4894be101
|
the pgf service now compiles with the latest CGI package
|
2010-04-22 12:37:36 +00:00 |
|
|
krasimir
|
99680e345e
|
bump GF version to 3.1.6
|
2010-04-22 08:41:51 +00:00 |
|
|
krasimir
|
3306ec606c
|
fix command cc for Unicode
|
2010-04-19 15:41:23 +00:00 |
|
|
krasimir
|
c11064bfad
|
always use Haskeline. drop Readline & Editline
|
2010-04-19 15:12:52 +00:00 |
|
|
krasimir
|
0b6b30d4a8
|
use the native unicode support from GHC 6.12
|
2010-04-19 09:38:36 +00:00 |
|
|
krasimir
|
e8ee150215
|
add Bul to the list of languages in Setup.hs that have API
|
2010-04-19 09:43:58 +00:00 |
|
|
krasimir
|
4acae7b083
|
add the easy words and phrases in PhrasebookBul
|
2010-04-16 16:32:45 +00:00 |
|
|
krasimir
|
184747505b
|
fix the encoding in Italian
|
2010-04-14 09:35:06 +00:00 |
|
|
krasimir
|
4b9de3af1d
|
fix the encoding in Catalan
|
2010-04-13 15:50:10 +00:00 |
|
|
krasimir
|
9377fd7c7c
|
fix the molto-molto-molto problem
|
2010-04-12 13:55:40 +00:00 |
|
|
krasimir
|
3b7d0e4fcc
|
export fullFormLexicon from PGF
|
2010-03-31 11:09:12 +00:00 |
|
|
krasimir
|
69535e2b6b
|
even simpler version of NQueens
|
2010-03-24 21:04:37 +00:00 |
|
|
krasimir
|
ab3127b5dd
|
bugfix in the lProlog generator
|
2010-03-24 20:54:20 +00:00 |
|
|
krasimir
|
925fb9dc85
|
the Plus predicate from NQueens is replaced with definition for function plus
|
2010-03-24 16:14:36 +00:00 |
|
|
krasimir
|
17897bc286
|
partial support for def-rules in the Lambda Prolog generation
|
2010-03-24 16:12:58 +00:00 |
|
|
krasimir
|
ce99935812
|
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
2010-03-24 11:11:55 +00:00 |
|
|
krasimir
|
297d40455e
|
typo in CheckGrammar
|
2010-03-23 15:35:32 +00:00 |
|
|
krasimir
|
858f6a1d4e
|
use the new more accurate location information for some error messages
|
2010-03-23 15:24:48 +00:00 |
|
|
krasimir
|
1591253a55
|
added codepage for Turkish
|
2010-03-23 13:44:17 +00:00 |
|
|
krasimir
|
ef957a0307
|
added comment to every GF.Text.CPxxxx module about the purpose of the codepage
|
2010-03-23 12:19:34 +00:00 |
|
|
krasimir
|
ba3b57bff9
|
add JavaScript API for completion. contributed by John J. Camilleri
|
2010-03-23 08:55:56 +00:00 |
|
|
krasimir
|
20d25c23cd
|
fix checkInfoType in Parser.y
|
2010-03-22 23:49:15 +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 |
|
|
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 |
|
|
krasimir
|
f4d3da0ccc
|
the NQueens algorithm written in GF
|
2010-03-21 19:01:57 +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 |
|
|
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 |
|
|
krasimir
|
3aa7aa84bb
|
fix the Haskell code generation
|
2010-02-17 13:09:23 +00:00 |
|
|
krasimir
|
897682d952
|
replace SS with StmtS in SUMO
|
2010-02-17 12:38:11 +00:00 |
|
|
krasimir
|
07fa5c575d
|
added TPTP for SUMO
|
2010-02-17 12:21:41 +00:00 |
|
|
krasimir
|
6b8fa0eaa1
|
SUMO axioms
|
2010-02-17 11:12:43 +00:00 |
|