summaryrefslogtreecommitdiff
path: root/src/runtime/haskell
AgeCommit message (Expand)Author
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
2010-08-30PGF.Expr.normalForm does variable renamingkrasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-07-31two new functions in the PGF API: mkAbs, unAbskrasimir
2010-07-31now the meta id of the meta variables is accessible via the PGF APIkrasimir
2010-07-31added function unType in PGFkrasimir
2010-07-15fix the algorithm for items cutting in the partial parserkrasimir
2010-07-13fix the loopchecking in PGF.Forest.bracketedToknkrasimir
2010-07-13bugfix in the decoding of literals in PGF.Binarykrasimir
2010-07-07report type errors in the shell from command "p"krasimir
2010-07-07simplify the monad TcMkrasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int...krasimir
2010-06-29in PGF.Printer special output format for SymLitkrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22preliminary version of API for Open Literalskrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 17:39:44 +0000