Hello,
I am unable to understand how free-identifier=? and bound-identifier=? works?
For example suppose I have a code :
(lambda (x y) (let ([x 2]) x))
then how do I determine if last x in the body of let is not bound by first
parameter to lambda? , using either free-identifier=? or bound-ide
Yesterday, Neil Van Dyke wrote:
> By the way, a key per account is somewhat better than key per
> package, [...]
No user accounts.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
Hi all,
I've been having some trouble running DrRacket under Ubuntu Unity, the
new default interface in the upcoming Ubuntu 11.04 'Natty'.
Specifically, the splash screen with the lambda icon appears, but when
the IDE window itself opens the entire system hangs.
I installed the 'racket' package
On Sat, Apr 9, 2011 at 5:24 PM, Sam Tobin-Hochstadt wrote:
> On Sat, Apr 9, 2011 at 5:50 PM, Renzo Orsini wrote:
>> I was trying Typed Racket for the first time.
>>
>> when I do "Check Syntax" on the following function (which in a (untyped)
>> Racket program works correctly) (I simplified the re
On Sat, Apr 9, 2011 at 5:50 PM, Renzo Orsini wrote:
> I was trying Typed Racket for the first time.
>
> when I do "Check Syntax" on the following function (which in a (untyped)
> Racket program works correctly) (I simplified the real function):
>
> #lang typed/racket
>
> (: elaborate (String Stri
I was trying Typed Racket for the first time.
when I do "Check Syntax" on the following function (which in a (untyped) Racket
program works correctly) (I simplified the real function):
#lang typed/racket
(: elaborate (String String -> Any))
(define (elaborate in-path-name out-path-name)
(let
Eli Barzilay wrote at 04/09/2011 10:00 AM:
Isn't this just old-fashioned code signing. I think people talked about it
for PLaneT multiple times in the past, before Chrome existed. Or am I
misunderstanding?
I don't know wearher it's old-fashioned or not, butthe thing thatI've never
About a minute ago, Eli Barzilay wrote:
> 5 hours ago, Neil Van Dyke wrote:
> > Eli Barzilay wrote at 04/09/2011 12:12 AM:
> > > There is a good solution for this that I recently saw -- the way that
> > > chrome extensions are distributed. The summary of what I understand
> > > from it is: an exte
5 hours ago, Neil Van Dyke wrote:
> Eli Barzilay wrote at 04/09/2011 12:12 AM:
> > There is a good solution for this that I recently saw -- the way that
> > chrome extensions are distributed. The summary of what I understand
> > from it is: an extension is a zip file with a prefix holding two
> >
Eli Barzilay wrote at 04/09/2011 12:12 AM:
There is a good solution for this that I recently saw -- the way that
chrome extensions are distributed. The summary of what I understand
from it is: an extension is a zip file with a prefix holding two
things -- a public key for the extension, and a si
10 matches
Mail list logo
