[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using punctuation in abbrev
From: |
Stefan Monnier |
Subject: |
Re: Using punctuation in abbrev |
Date: |
Sun, 02 Jun 2013 17:06:28 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
> 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
- Re: Using punctuation in abbrev, (continued)
- Message not available
- Re: Using punctuation in abbrev, Emanuel Berg, 2013/06/04
- Re: Using punctuation in abbrev, Yuri Khan, 2013/06/05
- Message not available
- Re: Using punctuation in abbrev, Emanuel Berg, 2013/06/05
- Re: Using punctuation in abbrev, Stefan Monnier, 2013/06/04
- Message not available
- Re: Using punctuation in abbrev, Emanuel Berg, 2013/06/04
- Message not available
- Re: Using punctuation in abbrev, Emanuel Berg, 2013/06/02
- Re: Using punctuation in abbrev,
Stefan Monnier <=
- Re: Using punctuation in abbrev, Aurélien Aptel, 2013/06/02
- Message not available
- Re: Using punctuation in abbrev, Emanuel Berg, 2013/06/02
Re: Using punctuation in abbrev, Stefan Monnier, 2013/06/02