Lesenr1

Hi! I have a bunch of recursive types, one of which is using the Map fonctor. I tried to follow the example and wrote this: ``` module TMap = Map.Make(...

`TextInput`: Multiline editor

3

Hello ! I am trying to make the cursor move to the next line in a text input. For that, on shift+enter keyboard presses, I use `Widget.set_text` and the "\r\n"...

Can't build the project using a local opam switch

3

Disclaimer: I am a coq noob Edit: resolved by using a global opam switch As stated in the [.tex sources](https://github.com/achlipala/frap/blob/master/frap_book.tex#L87) I used coq `8.16.0` (I also tried with `8.15.0` to...