csci8980-f21

michael/csci8980-f21

Fork 0

Commit graph

04b9184312 updated Philip Wadler 2017-07-04 12:59:55 +0100
ec46d635c0 inductive data type for progress wadler 2017-06-29 23:05:23 +0100
5c02a1a5cb updated instructions in README wadler 2017-06-29 16:43:38 +0100
3f9fc08a35 preparing to publish wadler 2017-06-29 15:18:10 +0100
2c6d88c3ee checked derivations work with C-R wadler 2017-06-29 14:59:37 +0100
2cf5421261 updated derivations in Stlc wadler 2017-06-29 14:01:44 +0100
04797f1632 backed up Preorder wadler 2017-06-29 12:55:49 +0100
76fc4a55c2 updated StlcProp to new syntax wadler 2017-06-28 17:44:16 +0100
36e38db1fc updated Stlc to new syntax wadler 2017-06-28 17:24:16 +0100
a5646aa559 minor changes wadler 2017-06-28 15:12:53 +0100
dec8fd5705

Expanded Makefile -- regenerated outputs. Wen Kokke 2017-06-27 16:10:16 +0100
6c4fa4bf72 twiddled imports for PreorderReasoning Philip Wadler 2017-06-27 15:52:07 +0100
ba15881340

Started rewriting with Reasoning notation Wen Kokke 2017-06-27 15:47:46 +0100
bc1fb14431

Started rewriting with Reasoning notation Wen Kokke 2017-06-27 15:42:04 +0100
eaeab73fc1

Re-regenerated the output files Wen Kokke 2017-06-27 15:25:04 +0100
9071f42d41 publish Philip Wadler 2017-06-27 14:58:07 +0100
dc4c1bce16

Remove all *Old.lagda files Wen Kokke 2017-06-27 14:57:24 +0100
7b804c29b5

Added make serve task to the Makefile Wen Kokke 2017-06-27 14:54:09 +0100
77390abcc9 publish Philip Wadler 2017-06-27 14:22:52 +0100
b9b05b1347 first complete draft of StlcProp Philip Wadler 2017-06-27 13:56:56 +0100
cb27a230c8 further improvements to StlcProp, only two holes left wadler 2017-06-26 13:38:08 +0100
3da3cdb235 updated Maps with extensionality wadler 2017-06-26 13:16:13 +0100
949c48b206 finished preservation, renamed substitution, substitution preservation still to do wadler 2017-06-26 11:22:36 +0100
fbd3cc1d2e stuck at two places in proof of preservation of substitution wadler 2017-06-25 19:09:39 +0100
500d56b3b0 stuck at two places in proof of preservation of substitution wadler 2017-06-25 19:08:11 +0100
6ee9d8dd40 halfway through preservation of substitution wadler 2017-06-25 16:40:10 +0100
fe5bf01e6b added example reductions to Stlc wadler 2017-06-25 00:03:10 +0100
fa627864e0 added weakening to StlcProp wadler 2017-06-23 18:20:49 +0100
62cb6c064a partway through StlcProp wadler 2017-06-23 17:17:51 +0100
10214fef6c completed progress wadler 2017-06-23 13:10:30 +0100
1b6e887f05 fixing up versions wadler 2017-06-23 11:11:14 +0100
66132f1dbb added StlcPropOld wadler 2017-06-23 11:09:29 +0100
b4e3fe6302

Edited Maps Wen Kokke 2017-06-21 17:00:34 +0200
1c9b86fb26

Finished implementing Maps Wen Kokke 2017-06-21 16:59:10 +0200
c1c997589d restored Id to String wadler 2017-06-20 20:56:44 +0100
d01c597043 fixed index.md wadler 2017-06-20 20:49:59 +0100
91fb356db0 fixed problem in Maps wadler 2017-06-20 20:48:54 +0100
f639060d7c restored MapsOld for purposes of comparison wadler 2017-06-20 19:57:05 +0100
1a24629bed Merge branch 'gh-pages' of https://github.com/wenkokke/sf into gh-pages wadler 2017-06-20 17:19:44 +0100
f496e55e7c completed first draft of Stlc wadler 2017-06-20 17:17:33 +0100
044f4d0263

Changed name. Wen Kokke 2017-06-20 17:16:59 +0200
f5fca1e270 small cleanup to standard library wadler 2017-06-20 15:16:50 +0100
ab6da37b16 documented problem with holes wadler 2017-06-20 14:44:15 +0100
65d9e7cdfd updated Maps wadler 2017-06-20 14:35:24 +0100
43b46ef775 updated Maps wadler 2017-06-20 14:20:47 +0100
e6199666b0 changed unicode := to ascii wadler 2017-06-19 20:11:58 +0100
196c2f44ce Moved Stlc to StlcOld, replace Stlc by Phil's version wadler 2017-06-19 19:44:37 +0100
a594a73198 finished learning for Tuesday wadler 2017-03-21 16:42:39 +0000
c11978a133

Re-generated files after removing --strip-implicits Pepijn Kokke 2017-03-14 16:14:49 +0000
d1163c6f39

Removed --strip-implicits. Pepijn Kokke 2017-03-14 16:13:06 +0000
a3f809994d updated config wadler 2017-03-14 15:31:32 +0000
b24f041240

Corrected links in Maps. Pepijn Kokke 2017-03-11 23:57:16 +0000
d5a9a6345a

Regenerated files after bug-fix in agda2html. Pepijn Kokke 2017-03-11 23:53:35 +0000
7d5f1f0bb2

Removed jQuery UI; moved load of KaTeX until after foldable code blocks. Pepijn Kokke 2017-03-11 23:09:46 +0000
f96b046cbc

Moved imports up to the top of the file in all files except for Maps. Created clean and clobber tasks. Pepijn Kokke 2017-03-11 23:07:56 +0000
a7cecb2b23

Minor changes in existing modules. Pepijn Kokke 2017-03-11 23:00:02 +0000
7d020f3963

Create a contributors setting instead of the traditional "author" field, and edited the footer to reflect this. Pepijn Kokke 2017-03-11 22:52:28 +0000
f58de1fcdc

Worked on the layout. Pepijn Kokke 2017-03-11 22:28:50 +0000
5d498e2e78

Added generated .md files to the repository. Pepijn Kokke 2017-03-10 16:07:28 +0000
f682a4c8d7

Merge branch 'master' of github.com:pepijnkokke/sf Pepijn Kokke 2017-03-10 16:03:16 +0000
64cb6da7c8

Rerendered and reorganized the *.md files; removed junk; centered equations. Pepijn Kokke 2017-03-10 16:02:07 +0000
21b52e98e4

Moved .lagda files into src/; added basic structure of a website. Pepijn Kokke 2017-03-10 15:49:30 +0000
3f57c6bc80 merged wadler 2017-03-10 12:04:13 +0000
9c6a70baac updated stlc wadler 2017-03-10 12:03:09 +0000
ca7607c6f2

Fixed display pragrams for Stlc Pepijn Kokke 2017-03-10 12:02:28 +0000
fda61b9055

Removed Markdown files. Pepijn Kokke 2017-03-10 11:50:50 +0000
6c6ebb0a0a

Moved the Agda Software Foundations files to their own repository. Pepijn Kokke 2017-03-10 11:42:57 +0000
9a9020cbaf Initial commit Pepijn Kokke 2017-03-10 11:41:30 +0000