tls-philly-rbtree-2016 icon indicating copy to clipboard operation
tls-philly-rbtree-2016 copied to clipboard

verified publisher icon milessabin
→

Metadata

Dependently typed Red Black Trees in Scala

Code from an unconference session at the Typelevel Summit Philadelphia 2016.

See Stephanie Weirich's Dependently Typed Haskell repo.

← Metadata

16
Stars
4
Forks
Watchers

Owner

verified publisher icon milessabin

Metadata

Back