module index where


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

-- mechanised intuitionist
import mi.index


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

-- typed operational semantics and NBE
-- from https://gist.github.com/mietek/1737170f89e26021e87d64d3e298c68e
import A202401.Everything

-- operational semantics
-- from https://gist.github.com/mietek/d5083053ce84099de0b0177f43413b87
import A201903.Everything

-- “Types and programming languages”
-- from https://gist.github.com/mietek/2d0148c0b3f4d28fca6c17ef512eb628
import A201901.Everything

-- logical relations
-- from https://gist.github.com/mietek/99c4bd410bf535c4322bc87d0c2db750
import A201802.Everything

-- the usual
-- from https://gist.github.com/mietek/f9aba33997f0e43d7f0c9c8e62919147
import A201801.Everything

-- the usual, cubed
-- from https://github.com/mietek/research-2017
import A201706.Everything

-- the usual
-- from https://github.com/mietek/hilbert-gentzen
import A201607.Everything

-- the usual
-- from https://github.com/mietek/tmp
import A201606.Everything

-- Abel-Chapman (2014)
-- from https://github.com/mietek/abel-chapman-extended
import A201605.Everything

-- attempts at Alt-Artemov (2001) and other early experiments
-- from https://gist.github.com/mietek/73c83903d3777ff9088c
import A201602.Everything


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