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>
X-Mailer:	Evolution 3.12.11
Mime-Version:	1.0
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

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. 

- Raw text -