Dependent Types in PureScript
Learn a bit about PureScript, the world's favorite dependently-typed language
Tags: functional, purescript