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
|
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
|
f496e55e7c
|
completed first draft of Stlc
|
2017-06-20 17:17:33 +01: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 |
|
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
|
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
|
f58de1fcdc
|
Worked on the layout.
|
2017-03-11 22:28:50 +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 |
|