#

type-level

Here are 2 public repositories matching this topic...

beefyhalo / dense

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

scala nat shapeless type okasaki type-level type-level-programming

Updated Oct 26, 2016
Scala

propensive / typonym

Collections raised to the type-level in Scala

dependent-types scala collections type-level type-level-programming

Updated Jan 25, 2025
Scala

Improve this page

Add a description, image, and links to the type-level topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-level topic, visit your repo's landing page and select "manage topics."