Giters

nrinaudo / far-more-adt

Slides for a talk on ADTs and GADTs

Home Page:https://nrinaudo.github.io/far-more-adt

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Talk abstract and description can be consulted here (EN).

Slides can be consulted directly on the companion site.

About

Slides for a talk on ADTs and GADTs

https://nrinaudo.github.io/far-more-adt

Languages

Language:HTML 87.7%Language:CSS 11.4%Language:Scala 0.9%