chrispenner / void-space

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

VOIDSPACE

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

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 😉 )

Usage

• Clone the repo
• $ stack install
• $ void-space-exe (from the root of the repo)
• Customize word-list.txt or add your own space-ships and art in ./art!
• Customize values in src/Config.hs to tweak difficulty!

Features

• Super-awesome recharging shield tech to make the Space Federation proud.
• Customizable art!
• Auto-scaling (and customizable) difficulty
• Super cool space background to impress all your friends (my mother was VERY impressed)
• Distributed Client/Server architecture for LAN play! Cuz you gotta have LAN parties, how else am I supposed to get rid of all of these Doritos?
• Chaotic events!
• Powerups!
• Co-operative mode!

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 😉, 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).

void-space's Issues

Consider "tart" for artwork

Hey, I thought I'd just let you know in case you haven't seen it: this tool can be used to draw and paint brick-compatible artwork that you can then incorporate into your brick application.

https://github.com/jtdaugherty/tart

It can also import plain text files (e.g. figlet output) for painting. :)

(Feel free to close; I just thought this would be an easy way to let you know. Very cool project!)

Run on Linux subsystem for Windows

I was wondering if it's possible to get this great piece of software to run on the WSL. I tried on both the normal Windows 10 (with of course didn't work because vty only supports POSIX) and on the WSL (running Debian) but I couldn't get it to work. Installing Stack worked on both but stack build fails on vty-5.21 - also on both.

Maybe it's obvious and I'm just not informed enough but shouldn't I be able to install it on the WSL? Is there something I need to do differently on WSL?