summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2020-10-02Merge pull request #77 from inariksit/tutorial-fixesInari Listenmaa
Minor tweaks and updates to the tutorial
2020-10-02Merge branch 'master' of https://github.com/GrammaticalFramework/gf-corekrangelov
2020-10-02fix parsing with HOASkrangelov
2020-10-02(Tutorial) Rename TV (transitive verb) to V2, the name used in RGLInari Listenmaa
2020-10-02(Tutorial) Remove reference to morpho_list + overly verbose pathInari Listenmaa
2020-10-02(Tutorial) Update the pre syntaxInari Listenmaa
2020-09-29(Tutorial) Remove mentions to pt -typecheckInari Listenmaa
The GF shell no longer has `put_tree -typecheck` option, and typechecking is done automatically when parsing. The metavariable thing is a bit unclear: you don't get it when parsing "dim the light", or "switch on the fan, but you do get it when you `gt` after adding `switchOn` and `switchOff`. ``` > p "switch on the fan" CAction fan (switchOff fan) (DKindOne fan) > gt CAction light dim (DKindOne light) CAction ?3 (switchOff ?3) (DKindOne ?3) CAction ?3 (switchOn ?3) (DKindOne ?3) ``` My hypothesis is that you don't get metavariable when parsing e.g. "dim the light", because even though `light` is suppressed in `CAction`, it still appears in `DKindOne`, so it gets to contribute to the whole tree with its string.
2020-09-29link to CoLi paper, mention of iOSaarneranta
2020-09-18Add instructions for uploading PGF2 to HackageJohn J. Camilleri
2020-09-18Bump PGF2 to 1.2.1John J. Camilleri
2020-09-18Fix bug where shell commands were ignored, introduced by #71John J. Camilleri
2020-09-14Merge pull request #71 from anka-213/fix-newer-cabalJohn J. Camilleri
Fix support for newer stackage snapshots
2020-09-14Bump default stack.yaml to ghc8.6.5Andreas Källberg
2020-09-14Bump stackage snapshots to latest versionsAndreas Källberg
2020-09-12Remove MonadFail requirements for aeson codeAndreas Källberg
2020-09-12Fix incorrect type and update dependenciesAndreas Källberg
2020-09-12First attempt at github actions for stackAndreas Källberg
2020-09-09Import orphan instances of MonadFail for ghc<8Andreas Källberg
Also upgrade alex/happy so automatic install works
2020-09-08Add stack file for ghc8.8.4Andreas Källberg
2020-09-05Merge remote-tracking branch 'origin/master' into fix-newer-cabalAndreas Källberg
2020-09-05Add two more missing MonadFail importsAndreas Källberg
2020-09-05Fix wrong indentAndreas Källberg
2020-09-05Update package database on ubuntu buildAndreas Källberg
Fixes 404 error: https://github.com/GrammaticalFramework/gf-core/runs/1076062405
2020-09-05MonadFail: Make backwards-compatibleAndreas Källberg
2020-09-05Fix MonadFail for c-runtime as wellAndreas Källberg
2020-08-31(Tutorial) Minor typofixes + current error messageInari Listenmaa
2020-08-31Merge pull request #73 from inariksit/video-tutorial-pageInari Listenmaa
(Homepage) Change link of video tutorials to a page + small fixes
2020-08-30(Homepage) Change link of video tutorials to a page + small fixesInari Listenmaa
Also added video tutorial link to the footer.
2020-08-30Fix wording + formatting slightlyInari Listenmaa
2020-08-30Add a page for all GF video tutorialsInari Listenmaa
2020-08-21(Tutorial) Fix to make calculator example compileInari Listenmaa
In abstract: startcat needs to be defined to run the commands that are shown later in the doc. In concrete: ss and SS are defined in Prelude.
2020-08-19Add stack file for a more recent ghcAndreas Källberg
2020-08-14remove the deprecated pgf_print_expr_tuplekrangelov
2020-08-14Merge branch 'master' of https://github.com/GrammaticalFramework/gf-corekrangelov
2020-08-14added an API for cloning expressions/types/literalskrangelov
2020-08-11Merge pull request #70 from inariksit/haskellInari Listenmaa
New features in PGF to Haskell translation
2020-08-05Add cabal dist-newtyle to gitignoreAndreas Källberg
2020-08-05Remove NoMonadFailDesugaring flagAndreas Källberg
I've fixed so everything has the fail it needs now
2020-08-05Fix testsuite compatability with newer CabalAndreas Källberg
2020-08-05Fix a few warningsAndreas Källberg
2020-08-05Fix most build errorsAndreas Källberg
2020-08-05fix newer ghc: Don't try to be backwards compatibleAndreas Källberg
2020-08-05First attempt at fixing incompabilities with newer cabalAndreas Källberg
2020-08-03Replace deprecated pragma with up-to-date one. (#17)Inari Listenmaa
2020-08-03Add script for uploading PGF2 documentation to HackageJohn J. Camilleri
Hackage's attempt to build the package will fail because of missing C libraries
2020-08-03Merge pull request #69 from GrammaticalFramework/pgf2-hackageJohn J. Camilleri
Update pgf2 metadata for uploading to Hackage Even though this isn't able to package the C runtime itself into the Haskell package, I think these changes are still worth merging into master.
2020-07-31Remove accidentally added space character in deriving clause.Inari Listenmaa
2020-07-31Remove characters that aren't allowed in Haskell data types.Inari Listenmaa
GF allows more characters in its types, as long as they are inside single quotes. E.g. 'VP/Object' is a valid name for a GF category, but not for a Haskell data type.
2020-07-31Add option "data" to Haskell options.Inari Listenmaa
Imports Data.Data, all GF types derive Data, and uses DeriveDataTypeable.
2020-07-28Updates to PGF2 readmeJohn J. Camilleri
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-24 08:49:39 +0000