michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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