LDM: Linear dialogue manager

This code corresponds to the paper: Vladislav Maraev, Jean-Philippe Bernardy, Jonathan Ginzburg “Dialogue management with linear logic: the role of metavariables in questions and clarifications” (2021), to appear in TAL (Traitement Automatique des Langues / Natural Language Processing).

To try the implementation:

1. Install Nix. Follow the instructions or just run:

   curl -L https://nixos.org/nix/install | sh 
       

2. Install dependencies and enter the shell:

   nix-shell
       

3. Update cabal and build:

   cabal v2-build
   cabal update
       

4. Test example:

   cabal v2-exec -- pli -p -f 20 OneInstancePerParticipant.pli 
       

Troubleshooting

rm -rf dist-newstyle and rebuild.