-- Work in progress.
--
-- Check out the source repository:
-- https://github.com/mietek/research

module index where


--------------------------------------------------------------------------------

import A201607.Everything -- hilbert-gentzen
import A201706.Everything -- research-2017
import A201801.Everything -- f9aba33997f0e43d7f0c9c8e62919147
import A201802.Everything -- 99c4bd410bf535c4322bc87d0c2db750 (logical relations)
import A201901.Everything -- 2d0148c0b3f4d28fca6c17ef512eb628 (“Types and programming languages”)
import A201903.Everything -- d5083053ce84099de0b0177f43413b87 (operational semantics)


--------------------------------------------------------------------------------