From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.help Subject: Re: Using punctuation in abbrev Date: Sun, 02 Jun 2013 17:06:28 -0400 Organization: A noiseless patient Spider Message-ID: References: <87vc5x3x5b.fsf@VLAN-3434.student.uu.se> <87d2s4b8f0.fsf@VLAN-3434.student.uu.se> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1370207545 12496 80.91.229.3 (2 Jun 2013 21:12:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 2 Jun 2013 21:12:25 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Sun Jun 02 23:12:28 2013 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 1UjFZj-0000x5-UJ for geh-help-gnu-emacs@m.gmane.org; Sun, 02 Jun 2013 23:12:28 +0200 Original-Received: from localhost ([::1]:44786 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UjFZj-0002sW-GW for geh-help-gnu-emacs@m.gmane.org; Sun, 02 Jun 2013 17:12:27 -0400 Original-Path: usenet.stanford.edu!news.kjsl.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail Original-Newsgroups: gnu.emacs.help Original-Lines: 10 Injection-Info: mx05.eternal-september.org; posting-host="ac79a8a5ff43c60430804f220c51b65a"; logging-data="21491"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+yeonL0UNwL8jljsMgmMA3" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) Cancel-Lock: sha1:l0JBc0Ag2fHFTN4t5wlplUAy+ME= sha1:uuw79K0mznf9aTz9qlkOcufFAI8= Original-Xref: usenet.stanford.edu gnu.emacs.help:198975 X-Mailman-Approved-At: Sun, 02 Jun 2013 17:12:17 -0400 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:91242 Archived-At: > with flow charts etc.? Or is there actually some new super > programming language which take advantage of all that notation? > (That would be... scary and impressive, at the same time.) If you're into that kind of thing, you might like Agda (note that it's a proof assistant, so not useful if you want to do Octave/Mathematica kind of things). Stefan