3 ms·Lambda Aleph – Dependently-Typed Functional Language by Tim Sweeney (Epic Games) [pdf]2 points by olvy0 6y ago