3 ms·

Looks nice! Maybe add some explanation about licensing on the first pages. And the name sounds like "butty" in Dutch, so that will be hard for me to recommend

Looks nice! Maybe add some explanation about licensing on the first pages. And the name sounds like "butty" in Dutch, so that will be hard for me to recommend out loud for my Dutch IT students.

aitchnyu 2y ago
Coq apparently renamed since professors have to introduce it to 18 year olds each year.
Lio 2y ago
That's nothing. In certain English accents pronouncing "konty" is likely to cause even bigger, er, headaches than an innocent reference to a butty.
- dmje 2y ago
  Sadly I came here to say this
  - Lio 2y ago
    I keep picturing my mate from Rotherham saying it... :D