Skip to content

/ MSPweb

being the shared sources and generated html for the MSP website

msp.cis.strath.ac.uk/
2 stars 3 forks
Star
Watch
Branch: master
Go to file
Code

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
101
 
 
_templates
 
 
css
 
 
fibs-2014
 
 
hank60
 
 
hott-afternoon
 
 
images
 
 
lambda2012
 
 
opengames-2017
 
 
parametricity-2012
 
 
parametricity-2013
 
 
stp-feb-2012
 
 
.gitignore
 
 
Generate.hs
 
 
Generate101.hs
 
 
MSPweb.cabal
 
 
Makefile
 
 
OneOhOne.hs
 
 
OneOhOneTalks.hs
 
 
README.md
 
 
Setup.hs
 
 
_101.json
 
 
accommodation.md
 
 
apple-touch-icon-120x120-precomposed.png
 
 
apple-touch-icon-120x120.png
 
 
apple-touch-icon-precomposed.png
 
 
apple-touch-icon.png
 
 
favicon.ico
 
 
grants-and-projects.html
 
 
index.html
 
 
links.md
 
 
msp101-old.html
 
 
news.html
 
 
old-news.html
 
 
people.md
 
 
phdPositions2019.html
 
 

README.md

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

msp.cis.strath.ac.uk/

Resources

Readme

Releases

No releases published

Contributors 6

Languages

You can’t perform that action at this time.