Comments on: Lexical Structure http://www.e-pig.org/epilogue/?p=1058 for Epigram Sun, 6 Nov 2011 09:25:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 By: Adam M http://www.e-pig.org/epilogue/?p=1058&cpage=1#comment-79873 Adam M Fri, 05 Aug 2011 01:12:47 +0000 http://www.e-pig.org/epilogue/?p=1058#comment-79873 "2D nonsense rides again!" -- wow, that is a simple and nifty idea for improving legibility! And without resorting to whitespace-sensitivity. Too bad it's buried half-way in the middle of the blog post (which might cause people to skip it). If Coq supported that, I'd use it. But I won't hold my breath :) It would also be nice if you could have multiple rules lined up horizontally, though that would necessitate using a different character for the left and right sides (rather than "!" for both). I know it sounds silly, but there's something productivity-enhancing about being able to fit all of your type system's rules on the screen at once. “2D nonsense rides again!” — wow, that is a simple and nifty idea for improving legibility! And without resorting to whitespace-sensitivity. Too bad it’s buried half-way in the middle of the blog post (which might cause people to skip it).

If Coq supported that, I’d use it. But I won’t hold my breath :)

It would also be nice if you could have multiple rules lined up horizontally, though that would necessitate using a different character for the left and right sides (rather than “!” for both).

I know it sounds silly, but there’s something productivity-enhancing about being able to fit all of your type system’s rules on the screen at once.

]]>