summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-11-12Omitted import Except(..)Liyana
2020-11-10Replaced Control.Monad.Error with Control.Monad.ExceptLiyana
2020-11-10Removed fromValue for boolVLiyana
2020-11-10Added explicit implementation for 'readJSON' in the instance declaration for ...Liyana
2020-11-10Deleted redundant pattern matchLiyana
2020-11-10Added explicit implementation for 'fromValue' in instance declaration for 'Pr...Liyana
2020-11-10Replaced Control.Monad.Error with Control.Monad.ExceptLiyana
2020-11-10Deleted redundant pattern matchLiyana
2020-11-10Replaced inlinePerformIO with accursedUnutterablePerformIOLiyana
2020-11-10Added readJSON error messagesLiyana
2020-10-27Merge pull request #79 from anka-213/fix-infinite-loopInari Listenmaa
2020-10-26Fix infinite recursion on errorAndreas Källberg
2020-10-09Merge pull request #78 from anka-213/solve-syntax-error-bugJohn J. Camilleri
2020-10-08Make CI greenAndreas Källberg
2020-10-08Fix syntax error problem for older versions of GHCAndreas Källberg
2020-10-02Merge pull request #77 from inariksit/tutorial-fixesInari Listenmaa
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
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
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
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
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
2020-08-30(Homepage) Change link of video tutorials to a page + small fixesInari Listenmaa
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
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