Brigitte Pientka

Results 5 comments of Brigitte Pientka

To have first class lets or not, that is the question

I think we should have first-class lets.

Inconsistent behaviour when performing case analysis on appeal to the induction hypothesis in Harpoon

This seems a Harpoon issue which should be fixed; but for now we can work around this issue by providing the explicit Beluga program.

Coverage checking interacts badly with strengthening

The error message of coverage may be not very informative, but I think it fails correctly; you specify in the type of cntV that the declaration xxx has type exp...

Update beluga codes to new syntax

I think we should create a separate directory labelled beluga-code with subdirectories corresponding to each chapter or part. Each chapter should be an individual file as well a config file....

Unable to build book

Please try : pdflatex book and it should build. I will assign someone to fix the make file.