Search *

1 results

Contributing Search

Filters

Languages

Scala 2.13 (1)
Scala 2.12 (1)

Platforms

JVM (1)
Scala.js 0.6 (1)

Topics

functional-programming (1)
nat (1)
scala (1)
shapeless (1)
typelevel-programming (1)

typechecked/numerology 0.1.5

Scala versions: 2.13 2.12

Scala.js versions: 0.6

functional-programming typelevel-programming scala nat shapeless

19 2