Pepijn Kokke
|
7d020f3963
|
Create a contributors setting instead of the traditional "author" field, and edited the footer to reflect this.
|
2017-03-11 22:52:28 +00:00 |
|
Pepijn Kokke
|
f58de1fcdc
|
Worked on the layout.
|
2017-03-11 22:28:50 +00:00 |
|
Pepijn Kokke
|
5d498e2e78
|
Added generated .md files to the repository.
|
2017-03-10 16:07:28 +00:00 |
|
Pepijn Kokke
|
f682a4c8d7
|
Merge branch 'master' of github.com:pepijnkokke/sf
* 'master' of github.com:pepijnkokke/sf:
updated stlc
|
2017-03-10 16:03:16 +00:00 |
|
Pepijn Kokke
|
64cb6da7c8
|
Rerendered and reorganized the *.md files; removed junk; centered equations.
|
2017-03-10 16:02:07 +00:00 |
|
Pepijn Kokke
|
21b52e98e4
|
Moved .lagda files into src/; added basic structure of a website.
|
2017-03-10 15:49:30 +00:00 |
|
wadler
|
3f57c6bc80
|
merged
|
2017-03-10 12:04:13 +00:00 |
|
wadler
|
9c6a70baac
|
updated stlc
|
2017-03-10 12:03:09 +00:00 |
|
Pepijn Kokke
|
ca7607c6f2
|
Fixed display pragrams for Stlc
|
2017-03-10 12:02:28 +00:00 |
|
Pepijn Kokke
|
fda61b9055
|
Removed Markdown files.
|
2017-03-10 11:50:50 +00:00 |
|
Pepijn Kokke
|
6c6ebb0a0a
|
Moved the Agda Software Foundations files to their own repository.
|
2017-03-10 11:42:57 +00:00 |
|
Pepijn Kokke
|
9a9020cbaf
|
Initial commit
|
2017-03-10 11:41:30 +00:00 |
|