Giters

SamirTalwar / experiments-with-type-systems

Experiments with type systems for a talk on 2017-12-06.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Type Systems

Experiments on type systems for a talk.

About

Experiments with type systems for a talk on 2017-12-06.

Languages

Language:JavaScript 71.9%Language:Kotlin 28.1%