Just wanna say "Thanks" to Thomas and his big, dumb, yet fun show.
But now I think we're all bored.
Le 06/08/11 14:00, Ariane van der Steldt a icrit :
On Wed, Jun 08, 2011 at 02:24:14AM +0200, Thomas de Grivel wrote:
This really has nothing to do on this list, but here I go...
Pfft, this mail sucks. If you had actually responded properly, instead
of reiterating your arguments, I would have e
On Wed, Jun 08, 2011 at 02:00:03PM +0200, Ariane van der Steldt wrote:
> On Wed, Jun 08, 2011 at 02:24:14AM +0200, Thomas de Grivel wrote:
> > Just like C, OCaml has skills in its semantics, but they both suck at
> > grammar : parsing ml requires a full lex/yacc above and below gcc. Not
> > really
> > This really has nothing to do on this list, but here I go...
@ Ariane van der Steldt wrote (2011-06-08 14:00+0200):
> I did say that. I said code proof (assisted or manual) is a lot of work.
>
> Yes, we should start over. If we start over we can make it so much
> better! We can do this and t
Here's a helpful start:
http://www.unlambda.com/lisp/mit.page
Enjoy!
This really has nothing to do on this list, but here I go...
Languages are like gods : there can be only one, and its perfect, and
everywhere, and we show our faith. Sure.. who wants to believe that crap ?
Languages have flaws, they are (slightly) bugged to the core and we're so
much into their us
6 matches
Mail list logo
