R rohan.ga Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus" 54 points ocean_moist 1 year ago 9 comments
