|
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
[Prev in Thread] | Current Thread | [Next in Thread] |