Julin S

[Doubt] u-suffix vs u-prefix

1

Hi. I had a doubt. In the second paragraph of section 2 ('Decomposing languages') of the [final ICFP paper](https://dl.acm.org/doi/pdf/10.1145/3473583), it says: > 𝒟 P u is the set of u-suffixes...

Hi. I haven't taken this course, but found the assignments interesting and was trying to do them. In [assignment 3](https://github.com/kayceesrk/cs3100_f19/blob/cc71e59a081543257adc72a2428685e891bcd307/assignments/assignment3.ipynb), there is a module type `Showable`: ```ocaml module type Showable...

_CoqProject file for editors

7

How would a `_CoqProject` file using this plugin look like? I couldn't make it work.