24 Jul
2005
24 Jul
'05
9:33 p.m.
Jonathan Cast <jcast@ou.edu> wrote:
Albert Lai <trebla@vex.net> wrote: <snip>
The best of both worlds may be something like the notation in the HOL theorem prover:
``^q ^a ^z [^m -> ^k |^p| ^g -> ^c] ^h ^b ^f ^i``
Do you agree that this is much better?
Could someone implement something like this in GHC please? :)
The attached code has been tested and works; call as $(interpolate "^q ^a ^z [^m -> ^k |^p| ^g -> ^c] ^h ^b ^f ^i"). Still confident someone can do better (e.g., formatting parameters), Jon Cast