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

Scala Versions: 2.12 2.13

Scala.js: 0.6

functional-programming typelevel-programming scala nat shapeless

18 1 2