Version française
Home     About     Download     Resources     Contact us    
Browse thread
Jane Street is hiring (as if you didn't already know)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Florian Hars <hars@b...>
Subject: Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Erik de Castro Lopo schrieb:
> The Linux kernel which is the one I am interested in is C only.

The kernel I linked to is in C, too (well, 7500 lines of C accompanied 
by 200000 lines of proof that the C actually implements the formal
specification automatically generated from the Haskell prototype).
And it can more or less run Linux as a personality.

- Florian.