3 ms·
"Try Dafny" is not complete. It doesn't have a link to request a special purpose keyboard to be sent to you.
by gravypod 10y ago
"Try Dafny" is not complete. It doesn't have a link to request a special purpose keyboard to be sent to you.
- saghm 10y agoAssuming it's anything like the Emacs mode for Coq, they're probably just using an editor/editor plugin that replaces the operators/keywords with the mathematical symbols.