Lambda to SKI: a different view on the old translationokmij.org1 point·sctb··0 commentsOpen articleSaveView on HN