Commit Briefs

388ebd5754 James Cook

Add a checkbox that hides the floor.

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

diff | patch | tree

3629a6632c James Cook

Add licence.

diff | patch | tree

d8b303c48f James Cook

Add a description.

diff | patch | tree

31e4b3d017 James Cook

Add .gitignore

diff | patch | tree

c0755cbe06 James Cook

List idris2 packages this depends on.

diff | patch | tree

a95f0ac66a James Cook

Initial import.

diff | patch | tree