├── README.md ├── mess.rkt └── scheme-to-type-theory.pdf /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gbaz/mess/HEAD/README.md -------------------------------------------------------------------------------- /mess.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gbaz/mess/HEAD/mess.rkt -------------------------------------------------------------------------------- /scheme-to-type-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gbaz/mess/HEAD/scheme-to-type-theory.pdf --------------------------------------------------------------------------------