close fullscreen

Agda musings

help edit space_dashboard