Draw generalized stars (with gloss)
Haskell
Latest commit 73c1dcd Aug 28, 2014 @hypotext fix proof URL
Permalink
Failed to load latest commit information.
README.md
draw.hs refactor code for scrubbing, changing display to game + adding input … Jun 29, 2014
scrub.hs
scrub_animation.gif

README.md

star

Draw generalized stars (with gloss and Haskell). A star is an (n, k) tuple of n vertices and k-1 vertices skipped between each line. A normal five-pointed star would be (5, 2).

Usage: with GHC and gloss installed, compile with ghc scrub.hs and run with run ./scrub.

You can explore a finished but unpolished proof here. Let me know if you want the editable version. Dependency graph:

For an unexpected application of the star principle, check this out!

TODO:

  • instructions for using
  • clarify problem statement and proof
  • see Issues page
  • blog post