summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-11-09Change cabal version to 2.4, to match GHC 8.6.5John J. Camilleri
2020-11-09Fix whitespace in binary build scriptJohn J. Camilleri
2020-11-09Comment cabal freeze and caching in case it was causing build error belowJohn J. Camilleri
2020-11-09Install Haskell via setup-haskell action, install build tools for C runtimeJohn J. Camilleri
2020-11-09Try to install GHC/Cabal via HomebrewJohn J. Camilleri
2020-11-09Add first attempt at GitHub action file for building .pkgJohn J. Camilleri
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
2020-08-11Merge pull request #70 from inariksit/haskellInari Listenmaa
2020-08-05Add cabal dist-newtyle to gitignoreAndreas Källberg
2020-08-05Remove NoMonadFailDesugaring flagAndreas Källberg
2020-08-05Fix testsuite compatability with newer CabalAndreas Källberg