Browse thread
Jane Street is hiring (as if you didn't already know)
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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.