5 Feb
2016
5 Feb
'16
9:29 p.m.
On Fri, Feb 5, 2016 at 9:24 PM, M Farkas-Dyck
-- click on the type
The question so remains: what would we write to a purely textual terminal?
We could write the simplest type with a "type :expand / :ex (or similar) to expand signature", eventually underlining the part that will be expanded first. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya