[racket] Symbolic expression, reduction, equivalence, ....

2012-01-19 Thread David Delfieu
, David. *** David Delfieu, tel : 02 40 90 50 45 EC à Polytech'Nantes - Département Génie Électrique Site de Gavy, 44603 Saint Nazaire Cedex Chercheur à L&#

Re: [racket] users Digest, Vol 77, Issue 68

2012-01-20 Thread David Delfieu
alence, > (Robby Findler) > 2. class variables in racket (Christian Wagenknecht) > > > -- > > Message: 1 > Date: Thu, 19 Jan 2012 09:12:36 -0600 > From: Robby Findler > To: Matthias Felleisen > Cc: David Delfieu , > users@racket-lang.org > Subject:

[racket] From tree to lists : imperative or functionnal language ?

2012-06-20 Thread David Delfieu
sily solve this problem in imperative language (C). Do you think it could exist an elegant solution ? I am doubting of a good solution in fonctionnal language as Racket. Respectuously *** David Delfieu, tel : 02 40 90 50 45

[racket] Redex Reduction rule

2012-10-01 Thread David Delfieu
been used to produce e_4 Respectuously, (joined the entire files) Redex_Unf_1.3.rkt Description: Binary data testRedex.rkt Description: Binary data ******* David Delfieu, tel : 02 40 90 50 45 EC à Polytech'Nantes -

[racket] Processes : system*

2011-04-12 Thread David Delfieu
es to call programs from gui ? Respectuously, *********** David Delfieu, Polytech'Nantes - Electrical departement IRCCyN *** _ For list-r

[racket] Completion of Tex keybindings on apple keyboard

2011-04-22 Thread David Delfieu
replace it by a real diamond but it does not work. The racket editor indicates ~:m:c:\ it does nots work al well (difficult to do : crtl+alt+cmd+N+/ !!!) Thanks for advices, Respectuously *** David Delfieu, tel : 02 40 90 50 45