Commit Briefs

c7146ad4de James Cook

Add a link to a blog post about this project. (main)


05e64a8553 James Cook

Add buttons to move up and down.


dd01367cf3 James Cook

Uncheck "hide floor" on startup.


9577217796 James Cook

Redo the lighting.


2d24bf60e7 James Cook

Don't suppress non-arrow keys.

Now on Firefox ctrl-r to reload works again.


7cdb9e1030 James Cook

Add something to look at when the floor is hidden.


4ba7b8ec51 James Cook

Suppress default keyboard handlers.


388ebd5754 James Cook

Add a checkbox that hides the floor.

Also, use an existing canvas element from the document instead of appending one.


3629a6632c James Cook

Add licence.


d8b303c48f James Cook

Add a description.


31e4b3d017 James Cook

Add .gitignore


c0755cbe06 James Cook

List idris2 packages this depends on.


a95f0ac66a James Cook

Initial import.