HigherOrderCO/KindNovember 7, 2018 - 9:11pm← November 6th, 10:28amNovember 8th, 10:08am →⭐️ HigherOrderCO/Kind A modern proof languageLINK: https://higherorderco.com