heades/dialectica-spaces

This is a formalization of dialectica spaces.

Agda