Various.Types2019

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).


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

module Various.Types2019 where


The master file is


import Ordinals.NotationInterpretation


The other files include


import TypeTopology.index
import Ordinals.index