From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Rusi Newsgroups: gmane.emacs.help Subject: Re: if vs. when vs. and: style question Date: Wed, 25 Mar 2015 08:33:32 -0700 (PDT) Message-ID: References: <87sicvwckx.fsf@wmi.amu.edu.pl> <87wq27yvqg.fsf@debian.uxu> <8d531e99-7260-4263-ac99-09c6871e2708@googlegroups.com> <87vbhq53lf.fsf@debian.uxu> <87a8z23p23.fsf@kuiper.lan.informatimago.com> <87lhilx0cf.fsf@debian.uxu> <87twx9360u.fsf@kuiper.lan.informatimago.com> <0d1d19ab-06e9-462d-8867-9a49b1e232d3@googlegroups.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1427297750 12553 80.91.229.3 (25 Mar 2015 15:35:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 25 Mar 2015 15:35:50 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Mar 25 16:35:50 2015 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YanLO-0008UI-35 for geh-help-gnu-emacs@m.gmane.org; Wed, 25 Mar 2015 16:35:46 +0100 Original-Received: from localhost ([::1]:39824 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YanLN-0007tz-HI for geh-help-gnu-emacs@m.gmane.org; Wed, 25 Mar 2015 11:35:45 -0400 X-Received: by 10.68.197.165 with SMTP id iv5mr10923764pbc.3.1427297613451; Wed, 25 Mar 2015 08:33:33 -0700 (PDT) X-Received: by 10.50.141.134 with SMTP id ro6mr229319igb.0.1427297613417; Wed, 25 Mar 2015 08:33:33 -0700 (PDT) Original-Path: usenet.stanford.edu!z20no4846495igj.0!news-out.google.com!db6ni62798igc.0!nntp.google.com!z20no4846490igj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Original-Newsgroups: gnu.emacs.help In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=117.195.49.60; posting-account=mBpa7woAAAAGLEWUUKpmbxm-Quu5D8ui Original-NNTP-Posting-Host: 117.195.49.60 User-Agent: G2/1.0 Injection-Date: Wed, 25 Mar 2015 15:33:33 +0000 Original-Xref: usenet.stanford.edu gnu.emacs.help:211040 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:103321 Archived-At: 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. >=20 > 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 =3D> =E2=87=92 forall =E2=88=80 <- =E2=86=92 -> =E2=86=90 -<< =E2=A4=9B >>- =E2=A4=9C 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=3DISO-8859-1 :-= ) I guess unicode is a moving target... 5. And the mother of all -- APL