Morten Maxild

I have managed to built `hie-8.6.5` using `ghcup set 8.6.5` and `cabal 3.0.0.0` on mac os x On Ubuntu 18.04 LTS on WSL2 (windows 10, see above) using stack I...

Just for your information WSL2 is preview at the moment, and I have no access to native Ubuntu image (need disk space :grimacing:)

Node.js used to be like that before `node_modules` was flattened using normalization. Back then npm didn't work on windows for a while, and there are a lot of npm users...

I am a self-learner/beginner going through `Basics.v` from SF (first book)... When I use `Check` on a defintion I would like to see the result in pretty-printed notation. Instead I...

> Set Printing All is the opposite of what you want. Really? ``` Coq < Unset Printing Notations. Coq < Check ((0 + 1) + 1) : nat. Nat.add (Nat.add...

Anyway ``` Set Printing Notations. Check ((0 + 1) + 1) : nat. Unset Printing Notations. Check ((0 + 1) + 1) : nat. ``` prints without using notations from...

> Set Printing All is not to be understood as using all options but as printing everything that the term might be hiding so this removes notations, shows coercions and...

If before beta 4, I used a lambda with "magic" IConsole parameter (for instance `(IConsole console, ...) => { /* code here */ }` will I now have to use...