beefyhalo/dense

A Type-Level Encoding of Natural Numbers as a Linked List of Bits

语言：Scala · GitHub 星标：11 · Fork：1

话题：nat · okasaki · scala · shapeless · type · type-level · type-level-programming

在 GitHub 上查看原仓库