swann@evertedsphere·Aug 22, 2019what's happened in haskell/fp-land this year that i'd be excited about? i'm somewhat out of touch617
Brendan Zabarauskas@brendanzabReplying to @evertedsphere and @mrkgrnaohttps://github.com/ollef/sixty/ by @ollfredo is pretty neat! Uses some of the stuff that @andrasKovacs6 is working on in https://github.com/AndrasKovacs/smalltt…github.comGitHub - ollef/sixty: Dependent type checker using normalisation by evaluationDependent type checker using normalisation by evaluation - GitHub - ollef/sixty: Dependent type checker using normalisation by evaluation9:43 PM · Aug 22, 2019·Twitter Web App4 Likes
