summaryrefslogtreecommitdiff
path: root/src/runtime/haskell
AgeCommit message (Expand)Author
2011-10-25Preparations for release of GF 3.3hallgren
2011-10-20PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happyhallgren
2011-09-21fix in the proof search. when we start the generation from a template, we mus...kr.angelov
2011-09-15added topological sort module to PGF - to be used in example based grammar wr...ra.monique
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2011-08-30bugfix: allow higher-order variables in the linearizationkr.angelov
2011-08-29skip spaces before closing parenthesis in PGF.Expr.pFactoraarne
2011-08-28import command now gives priority to new abstract syntax, and discards the ol...aarne
2011-04-06avoid warning from ghc-7.0hallgren
2011-04-06avoid warning from ghc-7.0hallgren
2011-03-17Adding a missing file for the tokenizer...gdetrez
2011-02-10Adding a basic lexicon-based tokenizer and the asociated command in gf shellgdetrez
2011-02-06a simple clitic analysis command 'ca'aarne
2011-01-08fix the computation of abstract expressions in the presence of implicit argum...krasimir
2011-01-08bugfix in the handling of implicit arguments in the typecheckerkrasimir
2010-12-17bugfix: setProbabilities should be more robust when there are missing probabi...krasimir
2010-12-14now every parse state keeps reference only to the concrete and the abstract s...krasimir
2010-12-14work-around in Tree.expr2tree to make Paraphrase workaarne
2010-12-14optimization in the parser for large lexicons. Now, the parser is slightly sl...krasimir
2010-10-19In the haskell code, we make the binary representation of the doubles complia...gdetrez
2010-12-08fixed typos in the documentation for PGF.Parsekrasimir
2010-12-06simple refactoring in PGF.Macros and relatedkrasimir
2010-12-07moved PGF.ToApi to GF.Compile.ToAPIaarne
2010-12-06no more IO in the syntax to API translatorra.monique
2010-12-06vt -api with conversion to resource API namesaarne
2010-12-05added syntax to api translation modulera.monique
2010-11-24command ai in the shell now shows the probability of the treekrasimir
2010-11-12operations in the abstract syntaxkrasimir
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ...ramona.enache
2010-10-25when faced with hard unification problem the type checker should just postpon...krasimir
2010-10-25when we print the bracketed string it is useful to print the attached metavar...krasimir
2010-10-21change the TcM monad to continuation passing style. The old monad caused stac...krasimir
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20bugfix in the term generationkrasimir
2010-10-20fixed typo which broke the parsing with -openclasskrasimir
2010-10-19in the type checker monad we should use lazy pattern matching because otherwi...krasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding comma...krasimir
2010-10-18typo in PGF.TypeCheck which spoiled the previous patchkrasimir
2010-10-18now we use the GF reasoner to fillin meta variables in the abstract trees gen...krasimir
2010-10-14now since the type checking monad TcM is nondeterministic we can use the same...krasimir
2010-10-13bugfix in PGF.VisualizeTree for handling trees with implicit argumentskrasimir
2010-10-13fix PGF.Generate.restart. The restart should be done only if there are some s...krasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-11now the generation from template with meta-variables respects the dependent t...krasimir
2010-10-02backtracking for random generation is not enough. we must restart the search ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-09-22the first revision of exhaustive and random generation with dependent types. ...krasimir
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-09-12bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be su...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 19:38:56 +0000