Comment Comment by eru Why use managed languages when you can prove your code correct? parent eru 5 years ago
