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.

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
101		101
_templates		_templates
awayday-2023		awayday-2023
bctcs2025		bctcs2025
css		css
fibs-2014		fibs-2014
hank60		hank60
hott-afternoon		hott-afternoon
images		images
lambda2012		lambda2012
manuscripts		manuscripts
opengames-2017		opengames-2017
opengames-tutorial-2020		opengames-tutorial-2020
parametricity-2012		parametricity-2012
parametricity-2013		parametricity-2013
phd-handbook		phd-handbook
stp-feb-2012		stp-feb-2012
types2025		types2025
.gitignore		.gitignore
Generate.hs		Generate.hs
Generate101.hs		Generate101.hs
GenerateNews.hs		GenerateNews.hs
GeneratePeople.hs		GeneratePeople.hs
Html.hs		Html.hs
MSPweb.cabal		MSPweb.cabal
Makefile		Makefile
OneOhOne.hs		OneOhOne.hs
README.md		README.md
Setup.hs		Setup.hs
_101.json		_101.json
_news.yaml		_news.yaml
accommodation.md		accommodation.md
apple-touch-icon-120x120-precomposed.png		apple-touch-icon-120x120-precomposed.png
apple-touch-icon-120x120.png		apple-touch-icon-120x120.png
apple-touch-icon-precomposed.png		apple-touch-icon-precomposed.png
apple-touch-icon.png		apple-touch-icon.png
favicon.ico		favicon.ico
grants-and-projects.html		grants-and-projects.html
index.html		index.html
links.md		links.md
msp101-old.html		msp101-old.html
msp201.md		msp201.md
opengames.md		opengames.md
people.md		people.md
people.yaml		people.yaml
phd2024.html		phd2024.html
phd2025-JARSS.html		phd2025-JARSS.html
phdPositions2019.html		phdPositions2019.html
teaching.json		teaching.json
teaching.yaml		teaching.yaml