[linux-l] Slightly off topic: Jagd auf Spam

Jan Krueger jk at microgalaxy.net
Mi Okt 29 18:53:06 CET 2003


On Monday 27 October 2003 09:47, Soeren Sonnenburg wrote:
> Ergo solange programme nicht beweisbar
Und da springt die Funktionale Programmierung is Feld, weil dadurch zumindest 
Teile des Programms beweisbar werden, theoretisch ...

Gruß
Jan





Mehr Informationen über die Mailingliste linux-l