On 12/17/2015 03:07 AM, Mike Parker wrote:
On Wednesday, 16 December 2015 at 21:05:27 UTC, Andrei Alexandrescu wrote:What would be a good code font to use for those?http://sourcefoundry.org/hack/
Could someone please round up this and other proposals into pull requests? Then we can see them displayed in Vladimir's rig. Thanks! -- Andrei