Add Void: a logically uninhabited data type. Fix #193#208

Merged

mperry merged 4 commits into

functionaljava:masterfrom

jbgi:void

Dec 28, 2015

Commits on Oct 16, 2015

Merge pull request #1 from functionaljava/master
jbgi
committed

Commits on Nov 19, 2015

Merge branch 'master' of https://github.com/functionaljava/functionaljava
jbgi
committed

Commits on Dec 10, 2015