help-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: if vs. when vs. and: style question


From: Stefan Monnier
Subject: Re: if vs. when vs. and: style question
Date: Wed, 25 Mar 2015 10:40:55 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux)

> For 50 years CS has been living in the impoverished world of ASCII.
> This makes people think CS and math are more far apart than they
> essentially/really are.

You might like to take a look at the Agda language,


        Stefan




reply via email to

[Prev in Thread] Current Thread [Next in Thread]