Giters

msp-strath / MSPweb

being the shared sources and generated html for the MSP website

Home Page:http://msp.cis.strath.ac.uk/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MSPweb

being the shared sources and generated html for the MSP website

Markdown

Markdown input files are supported if the file extension is .md. There should not be a .html file with the same name.

About

being the shared sources and generated html for the MSP website

http://msp.cis.strath.ac.uk/

Languages

Language:HTML 53.6%Language:Haskell 36.9%Language:Agda 4.2%Language:CSS 3.2%Language:TeX 1.4%Language:Makefile 0.8%