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