Home

Awesome

VOIDSPACE

Yo dawg; I heard you like types, so I made a well-typed typing tutor where you can type your types... in SPACE!

asciicast

Fight off scary category-theory in outer-space with nothing but your trusty keyboard :)

See how many kills you can get before you asphyxiate in the cold dark void (trust me, you'll lose eventually :wink: )

Usage

Features

Design Principles

Unlike many fun games designed to help you learn Haskell, this one was intentionally designed to use as many complex and confusing concepts as possible! The real world's tough kid, best get used to it :wink:, in reality it's not that bad, but it does use Classy Lenses and some pretty complex traversals and folds as well as some darker corners of the lens library. Have fun digging through it! It originally used vectors with dependent types, representable functors, and the selections lib, but I decided to take it easy (for now).