Y Hacker News new | ask | show | jobs

user: anqurvanillapy created: 2016-04-27 karma: 148 i make programming languages, see https://rows.ro/ submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Ask HN: A retrofitted C dialect? 55 points | 78 comments The Type Theory Podcast (2016) 1 points | 0 comments The True Implementation of Pattern Matching in Python 1 points | 0 comments 0 points | 0 comments Graduate Texts in Mathematics 4 points | 0 comments Minitt-Rs: Extended Implementation of Mini-TT in Rust 1 points | 0 comments Session Types Revisited (2012) [pdf] 2 points | 0 comments Algebraic Presentations of Dependent Type Theories (2017) 3 points | 0 comments Design and Implementation of the Andromeda Proof Assistant 1 points | 0 comments LOOP (programming language) 36 points | 7 comments