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

Commit graph

  • cb8431dbcc
         hwk3 8980 Michael Zhang 2021-10-19 09:27:13 -0500
  • fbc44a0f78
         homework 3 start Michael Zhang 2021-10-16 03:26:07 -0500
  • 8c4fe03730
         a Michael Zhang 2021-10-16 00:44:35 -0500
  • d24d992786
         fuck agda Michael Zhang 2021-10-13 00:12:38 -0500
  • 367d61bdd5 asdf Michael Zhang 2021-10-12 23:16:46 -0500
  • bc087ff31e
         nix Michael Zhang 2021-10-12 21:32:36 -0500
  • dcb4cbb360
         ouais Michael Zhang 2021-10-12 20:54:02 -0500
  • 7dff3e17e8
         finished hwk2! Michael Zhang 2021-10-07 18:15:03 -0500
  • 0eec924486
         pt 1 done Michael Zhang 2021-10-07 12:27:23 -0500
  • 7149274cf4
         nix shit Michael Zhang 2021-10-07 12:14:53 -0500
  • 87fafc7a15
         hmm Michael Zhang 2021-10-06 13:37:19 -0500
  • 8b1fbba12a
         piazza-checkpoint Michael Zhang 2021-10-06 00:14:08 -0500
  • 658bd841f0
         a Michael Zhang 2021-10-03 14:27:37 -0500
  • 8d0bebab0b
         test Michael Zhang 2021-10-02 02:52:59 -0500
  • fceaaa8f83
         a Michael Zhang 2021-10-01 22:58:18 -0500
  • 32ed3d6920
         Do the other 2 problems Michael Zhang 2021-09-20 13:16:07 -0500
  • 93f496e3c0
         hw1 Michael Zhang 2021-09-20 12:06:29 -0500
  • bf178e1b8b
         asdf Michael Zhang 2021-09-18 14:44:20 -0500
  • 3830722f67
         vscode Michael Zhang 2021-09-09 11:24:03 -0500
  • 583e0fb344
         begin induction Michael Zhang 2021-09-09 10:28:51 -0500
  • 00ec52d94a
         naturals exercises Michael Zhang 2021-09-09 01:17:09 -0500
  • 84840b0d4d
         Set option to enable redo Hemant Gouni 2021-09-07 20:49:25 +0000
  • efd14e775f
         Push updated Nix Flake with Emacs config Hemant Gouni 2021-09-07 05:20:35 +0000
  • f331b37077
         Cache ~/.ghcup. dev Wen Kokke 2021-09-02 13:57:57 +0100
  • 9780deb997
         Attempt to split up stack build. Wen Kokke 2021-09-02 13:52:44 +0100
  • f62da73cd4
         Operation timed out. Restarting workflow in parts. Wen Kokke 2021-09-02 13:40:53 +0100
  • 6cf717b152
         Remove cache operations for Haskell, since they're included in haskell/actions/setup. Wen Kokke 2021-09-01 21:19:25 +0100
  • 70c9a61de9
         Changed cache id to match site builder name. Wen Kokke 2021-09-01 21:17:01 +0100
  • b100c017c6
         Cache site builder separately. Wen Kokke 2021-09-01 21:16:38 +0100
  • 19eca137ae
         Abbreviated task ids. Wen Kokke 2021-09-01 21:01:07 +0100
  • c8d5f77c0e
         Added key for cache-htmlproofer. Wen Kokke 2021-09-01 20:56:20 +0100
  • 115547830d
         Minor changes. Wen Kokke 2021-09-01 20:46:42 +0100
  • b612ae8a39
         Minor updates to workflow. Wen Kokke 2021-09-01 20:43:54 +0100
  • 638cbcdd00
         Add Agda version to matrix. Wen Kokke 2021-09-01 20:20:35 +0100
  • ab6ee861d8
         Ensure Makefile is loud. Wen Kokke 2021-09-01 20:16:43 +0100
  • 53847909eb
         Cache .cabal, .ghc, and .ghcup. Wen Kokke 2021-09-01 20:06:09 +0100
  • db61ac1c18
         Fixed stack file after accidentially messing with it. Wen Kokke 2021-09-01 20:03:30 +0100
  • d697a4f322
         Edited makefile and workflow to use system GHC. Wen Kokke 2021-09-01 20:02:55 +0100
  • a40bd03d35
         Switch workflow back to macOS. Wen Kokke 2021-09-01 19:50:38 +0100
  • ac07fbf973
         Switch workflow to Ubuntu. Wen Kokke 2021-09-01 19:48:54 +0100
  • 20a928f74e
         Wrote a more comprehensive Build action. Wen Kokke 2021-09-01 19:42:29 +0100
  • 701b21bf49
         Woops. Moved workflow into .github/workflows. Wen Kokke 2021-09-01 19:20:30 +0100
  • 703afcac97
         Created basic GitHub action. Wen Kokke 2021-09-01 19:18:10 +0100
  • af45cdcfdb Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2021-08-29 18:37:14 +0100
  • cdcc12f4cc
         Merge pull request #588 from lorenzo-lipparini/patch-2 Philip Wadler 2021-08-29 18:22:36 +0100
  • d2c14f40e1
         Fix coding style inconsistencies in part1/Quantifiers Lorenzo Lipparini 2021-08-29 15:26:34 +0200
  • 6ea7439507 Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2021-08-29 10:33:10 +0100
  • 70825b81c0
         Merge pull request #587 from plfa/wadler-patch-2 Philip Wadler 2021-08-29 10:30:47 +0100
  • 3e03d1ee03
         Update Lists.lagda.md Philip Wadler 2021-08-29 10:29:46 +0100
  • 27006a8181 fixed Assignment4 wadler 2021-08-28 18:28:04 +0100
  • ba41d279f1 small changes: Subtyping, Inference, Assignment 4, Exam wadler 2021-08-28 18:25:22 +0100
  • b1e9152bcc
         Fixed links. Wen Kokke 2021-08-25 22:30:13 +0100
  • 3fc94edf3d
         Added slash back into Makefile. Wen Kokke 2021-08-25 13:40:22 +0100
  • e4d7c79aa6
         Update .gitignore to disallow PDFs but include plfa.pdf. Wen Kokke 2021-08-25 13:20:17 +0100
  • 78108f5750
         Minor refactoring. Wen Kokke 2021-08-25 13:17:15 +0100
  • a5e1f77d22
         Changed header anchors. Commited WIP fix for #577. Wen Kokke 2021-08-25 11:53:30 +0100
  • 07d082c9db
         Fixed syntax for assigning anchors. Wen Kokke 2021-08-25 00:17:03 +0100
  • 4b5d775ba1
         Finished announcement. Wen Kokke 2021-08-24 23:42:18 +0100
  • 6d6a1b284a
         Minor fix. Wen Kokke 2021-08-24 23:02:11 +0100
  • a9f85c9ab1
         EPUB and PDF now more-or-less work Wen Kokke 2021-08-24 22:41:18 +0100
  • b07957d430
         Fix EPUB. Wen Kokke 2021-08-24 21:48:13 +0100
  • 64ff672300
         Removed superfluous metadata template. Wen Kokke 2021-08-24 19:23:11 +0100
  • b4ae07e13c
         Fixed PDF and EPUB generation to use toc.metadata. Wen Kokke 2021-08-24 19:22:53 +0100
  • e8df980d4b
         Fixed PDF generate to use toc.metadata. Wen Kokke 2021-08-24 15:00:50 +0100
  • 2987995c7a
         WIP rewrite of book rendering. Wen Kokke 2021-08-24 01:01:23 +0100
  • 587985aa9d
         Fixed PDF generation. Wen Kokke 2021-08-23 18:59:51 +0100
  • d14b04ebf2
         Fixed PDF generation. Wen Kokke 2021-08-23 18:34:35 +0100
  • 7345c36d80
         Fixed binding issues with existential syntax. Wen Kokke 2021-08-23 11:57:30 +0100
  • a92e1a08c4
         Fixed assignment 4. Wen Kokke 2021-08-23 00:48:01 +0100
  • 73fdcf34bd
         PDF generation (#575) Altariarite 2021-08-22 19:56:17 +0100
  • 327b0c2f92
         fix README.md link to EPUB e-book (#553) Yeradis P. Barbosa Marrero 2021-08-22 20:55:36 +0200
  • 46371b34e8
         Updated woff and css to include home brewed font (#570) Altariarite 2021-08-22 19:53:43 +0100
  • 43bdaa94f4
         Use https instead of git for fetching the standard library (#572) Liang-Ting Chen 2021-08-23 02:52:55 +0800
  • 09d04baefd
         Change some instructions in the README.md (#573) Liang-Ting Chen 2021-08-23 02:52:20 +0800
  • 9dc763832f Make .direnv via direnv Hemant Gouni 2021-08-17 16:32:08 +0000
  • b6700e732c Package plfa with Nix Hemant Gouni 2021-08-17 16:28:42 +0000
  • c2c3cce920 Allow nix to manage agda Hemant Gouni 2021-08-16 22:04:03 +0000
  • 0c7bf0508a Add git flag Hemant Gouni 2021-08-16 21:47:39 +0000
  • 61b2259d99 Fix cloning issue Hemant Gouni 2021-08-16 21:41:37 +0000
  • 8fec0eb208 fix typo in Confluence wadler 2021-08-10 17:51:52 +0100
  • a162bcee5e Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2021-08-10 17:51:19 +0100
  • effcfb1e3e fix typo in Confluence wadler 2021-08-10 17:51:05 +0100
  • f7bc29d6f0 added accent Jeremy Siek 2021-07-29 10:46:23 -0400
  • 67cbc3c837 added course in Torino Jeremy Siek 2021-07-29 10:45:30 -0400
  • 10a3203624
         Fixed paths to fonts. Wen Kokke 2021-07-14 16:58:54 +0100
  • 9691c05909
         Fixed Agda errors; fixed css errors which resulted in the incorrect font being used. Wen Kokke 2021-07-14 16:50:25 +0100
  • edfb6c1601
         Fixed bug in agda.css; compile with SCSS compiler. Wen Kokke 2021-07-14 15:46:39 +0100
  • 5a5706ed5d
         Merge pull request #569 from Altariarite/Fonts.lagda.md Philip Wadler 2021-07-02 15:20:15 +0100
  • 65536c8525 changed codeblocks comments to displays Altaria 2021-07-02 14:28:16 +0100
  • 00a04e43d1 small fix to Connectives wadler 2021-06-26 15:43:48 +0100
  • e54f752b6f
         Merge pull request #568 from Altariarite/substitution Philip Wadler 2021-06-25 20:17:00 +0100
  • dd370cd225 fix indentation on 736 to fix partial codeblocks Altaria 2021-06-25 16:14:28 +0100
  • 0f8be19802 fixed indentation for proper code display Altaria 2021-06-25 11:22:18 +0100
  • 6b4140634f
         Merge pull request #567 from Altariarite/Fonts.lagda.md Philip Wadler 2021-06-23 17:49:59 +0100
  • 724d8eb487 added new symbols in part2 and 3 Altaria 2021-06-23 15:25:45 +0100
  • f9cafebe75
         Updated README. Wen Kokke 2021-06-16 23:31:37 +0100
  • 67b94951e0
         Bumped Agda version to 2.6.1.3. Wen Kokke 2021-06-16 23:30:18 +0100
  • 3291c18300
         Bumped resolver and GHC version, added Hakyll, removed text-icu. Wen Kokke 2021-06-16 16:26:02 +0100
  • c732f6e89d
         Bumped GHC version to 8.10.3. Wen Kokke 2021-06-16 16:20:03 +0100
  • 617a788315
         Merge. Wen Kokke 2021-06-16 16:17:09 +0100