Martin Escardo, 2019

https://cas.oslo.no/types2019/programme/book-of-abstracts/

*** Please do not move this file. It is linked from a published abstract. ***

The following imported files implement the ideas advertised at the
Types 2019 meeting

  https://www.cs.bham.ac.uk/~mhe/papers/compact-ordinals-Types-2019-abstract.pdf

(navigate to them by clicking at their names).

\begin{code}

{-# OPTIONS --safe --without-K #-}

module Various.Types2019 where

\end{code}

The master file is

\begin{code}

import Ordinals.NotationInterpretation

\end{code}

The other files include

\begin{code}

import TypeTopology.index
import Ordinals.index

\end{code}