Comment Comment by n42 The combination of static safety gracefully degrading to runtime safety where not provable is interesting to me parent n42 3 months ago
