wstomv

Pinned Repositories

• tagless-final

  tagless-final

  Language:Scala5310

• IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k51786257

• types-slides

  Slides for crash course on Type Theory

  Language:HTML2300

wstomv's Repositories