3 ms·
Isn't this sort of notation used in Coq, at least when it displays your current goal? Admittedly, it's an ASCII bastardization of the notation, but it's the sa
by tikhonj 14y ago
Isn't this sort of notation used in Coq, at least when it displays your current goal?
Admittedly, it's an ASCII bastardization of the notation, but it's the same idea.
- auggierose 14y agoI don't mind writing instead of A => B => C the following: A B ---- C I just hate pressing everything into this style.