core-typed 2020-09-10

Was kind of curious to know how core.typed compared to Haskell?