4 lines
72 B
Agda
4 lines
72 B
Agda
{-# OPTIONS --cubical --safe --exact-split #-}
|
|
|
|
module Everything where
|
{-# OPTIONS --cubical --safe --exact-split #-}
|
|
|
|
module Everything where
|