Open waywardmonkeys opened 8 years ago
Given #52 and #53 (which might be almost like Vats from E?), is there room for looking at W7 (A Security Kernel Based on the Lambda-Calculus)?
Given #52 and #53 (which might be almost like Vats from E?), is there room for looking at W7 (A Security Kernel Based on the Lambda-Calculus)?