Commit Briefs

c7146ad4de James Cook

Add a link to a blog post about this project. (main, origin/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.