Comment Comment by oblio > With a sufficiently advanced type systemIs this a brother or a cousin of the "sufficiently advanced compiler"? :-) parent oblio 2 years ago
Is this a brother or a cousin of the "sufficiently advanced compiler"? :-)