freddie-freeloader / Typed-Markup-Revisited

Typesafe Markup for well structured Documents

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Typed Markup Revisited

This is still work in progress.

Paper

Currently the paper is worked on in Paper/ and the rendered version can be found in Paper/Typed_Markup.pdf.

Code

The code presented in the paper can be found here.

About

Typesafe Markup for well structured Documents


Languages

Language:TeX 96.2%Language:Haskell 3.8%