4 ms·Well, you could apply the futamura projections and have “X written in Y compiles to Z”by UncleEntity 5y agoWell, you could apply the futamura projections and have “X written in Y compiles to Z”