[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: if vs. when vs. and: style question
From: |
Rusi |
Subject: |
Re: if vs. when vs. and: style question |
Date: |
Wed, 25 Mar 2015 08:33:32 -0700 (PDT) |
User-agent: |
G2/1.0 |
On Wednesday, March 25, 2015 at 8:11:23 PM UTC+5:30, Stefan Monnier wrote:
> > 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,
Yeah I know about
1. Agda... a bit overboard maybe?? but in the right direction
2. Fortress
3. Julia
4. Haskell (ghc) itself has a unicode extensions flag
after which we can write the rhses instead of the lhses
=> ⇒
forall ∀
<- →
-> ←
-<< ⤛
>>- ⤜
Ironically the page where this is documented
https://downloads.haskell.org/~ghc/7.6.3/docs/html/users_guide/syntax-extns.html
the last two dont work (show) because the html is charset=ISO-8859-1 :-)
I guess unicode is a moving target...
5. And the mother of all -- APL
- Re: if vs. when vs. and: style question, (continued)
- Re: if vs. when vs. and: style question, tomas, 2015/03/30
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Re: if vs. when vs. and: style question, Stefan Monnier, 2015/03/30
- Re: if vs. when vs. and: style question, Marcin Borkowski, 2015/03/30
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Message not available
- Reality and Proofs (was if vs. when vs. and: style question), Rusi, 2015/03/31
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/29
- Message not available
- Re: if vs. when vs. and: style question,
Rusi <=
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/25
- RE: if vs. when vs. and: style question, Drew Adams, 2015/03/25
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question, Emanuel Berg, 2015/03/28
- Message not available
- Re: if vs. when vs. and: style question, Dan Espen, 2015/03/25
- RE: if vs. when vs. and: style question, Drew Adams, 2015/03/25
- Message not available
- Re: if vs. when vs. and: style question, Dan Espen, 2015/03/25
- Re: if vs. when vs. and: style question, Gian Uberto Lauri, 2015/03/26
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/26