X-Authentication-Warning: delorie.com: mail set sender to geda-user-bounces using -f
X-Recipient: geda-user AT delorie DOT com
Message-ID: <1436365450.1405.8.camel@ssalewski.de>
Subject: Re: [geda-user] gEDA/gschem still alive?
From: Stefan Salewski <mail AT ssalewski DOT de>
To: geda-user AT delorie DOT com
Date: Wed, 08 Jul 2015 16:24:10 +0200
In-Reply-To: <CAOuGh88fS2pRy4TqYfHHk9wmUORc8Ko7E_AufA42jjHi+tYoMQ@mail.gmail.com>
References: <20150703030409 DOT 32398 DOT qmail AT stuge DOT se>
	 <CAFC5WMoa2-z6bNca_bQN+jmMR260UBmoJQybUzH=L2TrBpzNNA AT mail DOT gmail DOT com>
	 <1436006726 DOT 677 DOT 13 DOT camel AT ssalewski DOT de>
	 <20150706200609 DOT GD24178 AT localhost DOT localdomain>
	 <CAC4O8c9f0pLsLu_dyuO5ggh7RmHY1vAA=UUhk9AE0JYZb4mhBQ AT mail DOT gmail DOT com>
	 <CAM2RGhQfPO31-1Uyc3kC7w286r0VD7c41UZEZcyYquzknCxbsQ AT mail DOT gmail DOT com>
	 <20150707060409 DOT GB14357 AT localhost DOT localdomain>
	 <CAOP4iL2C_LU=RQy5FWYF-7RrHW6tqhqqyFJGjkwLQ2AD7FiYJA AT mail DOT gmail DOT com>
	 <1436287952 DOT 678 DOT 26 DOT camel AT ssalewski DOT de> <559C0F7E DOT 7010009 AT neurotica DOT com>
	 <20150707183339 DOT GA1817 AT alpha2> <559C3667 DOT 7030402 AT neurotica DOT com>
	 <CAOuGh88fS2pRy4TqYfHHk9wmUORc8Ko7E_AufA42jjHi+tYoMQ AT mail DOT gmail DOT com>
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.12.11 
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Reply-To: geda-user AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: geda-user AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk

On Wed, 2015-07-08 at 09:15 -0400, Bob Paddock
(graceindustries AT gmail DOT com) [via geda-user AT delorie DOT com] wrote:
> At the moment I like the looks of Pony because of its mathematical
> bases and design for correctness philosophy.

Yes, it sounds interesting. I have just discovered that they have a
mailing list now -- seems to just start in may 2015.

I can remember that I searched for something like an array type in their
docs -- to get a basic feeling for the language. Just tried again, still
not found.

And I still have no idea if system level coding (kernel development,
embedded area) is supported.