Inari Listenmaa

I have successfully run the [installation instructions](https://github.com/sivareddyg/UDepLambda#installation-commands) and `ant build` succeeded. I am running macOS Big Sur, version 11.6. However, when trying to run any of the demos, such as...

Here's a typical error when creating some lincat: ``` lincat VPS2 = X.VPS ** {c2 = Compl} ; ``` i.e. using, in error, `c2 = Compl` instead of the correct...

## TL;DR * I have a piece of code where, if I use variants inside a param: ```haskell PNegInlineVariants : Pol = lin Pol {s = [] ; p =...

Is custom version of Data.Binary still needed?

2

This is not urgent by any means, but I'm bringing this up so that it's not buried in old commit messages. The GF codebase includes a modified version of Haskell's...

Create Ubuntu PPA

14

From the discussion in #116 > From https://help.launchpad.net/Packaging/PPA: > > > *Using a Personal Package Archive (PPA), you can distribute software and updates directly to Ubuntu users. Create your source...

# The problem Say you are implementing the [Foods grammar](https://github.com/GrammaticalFramework/gf-contrib/blob/master/foods/FoodsGer.gf) (any language will do, I chose German arbitrarily) and make the following typo. ```haskell concrete FoodsGer of Foods = FoodsI...

Getting "unsupported token gluing" with nonexhaustive pattern

4

## Minimal test grammar ```haskell abstract Test = { cat S ; fun testS : S ; } ``` And here's a concrete syntax that causes an unsupported token gluing...

## The problem I was poking around `Compute.ConcreteNew.hs` trying to fix #52, and I noticed that the indices for bound variables (`VGen Int [Value]`) are not correct. You can even...

Here's my example code (abstract syntax is enough): ```haskell abstract Mini = { cat CN ; [CN]{2} ; fun dog : CN ; rabbit : CN ; ListCN2CN : ListCN...

Create GF source files from a CF file

2

I want to be able to do this: ``` $ cat myGrammar.cf S ::= "Hello" "World" ; $ gf -f gf myGrammar.cf Writing myGrammar.gf myGrammarCnc.gf $ cat myGrammar.gf abstract myGrammar...