wadler
|
10214fef6c
|
completed progress
|
2017-06-23 13:10:30 +01:00 |
|
wadler
|
1b6e887f05
|
fixing up versions
|
2017-06-23 11:11:14 +01:00 |
|
wadler
|
66132f1dbb
|
added StlcPropOld
|
2017-06-23 11:09:29 +01:00 |
|
Wen Kokke
|
b4e3fe6302
|
Edited Maps
|
2017-06-21 17:00:34 +02:00 |
|
Wen Kokke
|
1c9b86fb26
|
Finished implementing Maps
|
2017-06-21 16:59:10 +02:00 |
|
wadler
|
c1c997589d
|
restored Id to String
|
2017-06-20 20:56:44 +01:00 |
|
wadler
|
d01c597043
|
fixed index.md
|
2017-06-20 20:49:59 +01:00 |
|
wadler
|
91fb356db0
|
fixed problem in Maps
|
2017-06-20 20:48:54 +01:00 |
|
wadler
|
f639060d7c
|
restored MapsOld for purposes of comparison
|
2017-06-20 19:57:05 +01:00 |
|
wadler
|
1a24629bed
|
Merge branch 'gh-pages' of https://github.com/wenkokke/sf into gh-pages
Someone (I guess Wen) changed the repository while I was editing. -- P
|
2017-06-20 17:19:44 +01:00 |
|
wadler
|
f496e55e7c
|
completed first draft of Stlc
|
2017-06-20 17:17:33 +01:00 |
|
Wen Kokke
|
044f4d0263
|
Changed name.
|
2017-06-20 17:16:59 +02:00 |
|
wadler
|
f5fca1e270
|
small cleanup to standard library
|
2017-06-20 15:16:50 +01:00 |
|
wadler
|
ab6da37b16
|
documented problem with holes
|
2017-06-20 14:44:15 +01:00 |
|
wadler
|
65d9e7cdfd
|
updated Maps
|
2017-06-20 14:35:24 +01:00 |
|
wadler
|
43b46ef775
|
updated Maps
|
2017-06-20 14:20:47 +01:00 |
|
wadler
|
e6199666b0
|
changed unicode := to ascii
|
2017-06-19 20:11:58 +01:00 |
|
wadler
|
196c2f44ce
|
Moved Stlc to StlcOld, replace Stlc by Phil's version
|
2017-06-19 19:44:37 +01:00 |
|
wadler
|
a594a73198
|
finished learning for Tuesday
|
2017-03-21 16:42:39 +00:00 |
|
Pepijn Kokke
|
c11978a133
|
Re-generated files after removing --strip-implicits
|
2017-03-14 16:14:49 +00:00 |
|
Pepijn Kokke
|
d1163c6f39
|
Removed --strip-implicits.
|
2017-03-14 16:13:06 +00:00 |
|
wadler
|
a3f809994d
|
updated config
|
2017-03-14 15:31:32 +00:00 |
|
Pepijn Kokke
|
b24f041240
|
Corrected links in Maps.
|
2017-03-11 23:57:16 +00:00 |
|
Pepijn Kokke
|
d5a9a6345a
|
Regenerated files after bug-fix in agda2html.
|
2017-03-11 23:53:35 +00:00 |
|
Pepijn Kokke
|
7d5f1f0bb2
|
Removed jQuery UI; moved load of KaTeX until after foldable code blocks.
|
2017-03-11 23:09:46 +00:00 |
|
Pepijn Kokke
|
f96b046cbc
|
Moved imports up to the top of the file in all files except for Maps. Created clean and clobber tasks.
|
2017-03-11 23:07:56 +00:00 |
|
Pepijn Kokke
|
a7cecb2b23
|
Minor changes in existing modules.
|
2017-03-11 23:00:02 +00:00 |
|
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 |
|