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