michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
2262 commits 2 branches 4 tags 85 MiB
Commit graph

2262 commits

This branch
This branch
All branches
Author Message Date
Liang-Ting Chen
09d04baefd
Change some instructions in the README.md (#573) 
* Change git commands in the README.md for beginners

* Only clone PLFA shallowly.
* Correct the version of stdandard library for PLFA.

* Install `fix-whitespace` via Stackage

The program `fix-whitespace` is available on Stackage already.
 2021-08-22 19:52:20 +01:00
wadler
8fec0eb208 fix typo in Confluence 2021-08-10 17:51:52 +01:00
wadler
a162bcee5e Merge branch 'dev' of github.com:plfa/plfa.github.io into dev 2021-08-10 17:51:19 +01:00
wadler
effcfb1e3e fix typo in Confluence 2021-08-10 17:51:05 +01:00
Jeremy Siek
f7bc29d6f0 added accent 2021-07-29 10:46:23 -04:00
Jeremy Siek
67cbc3c837 added course in Torino 2021-07-29 10:45:30 -04:00
Wen Kokke
10a3203624
Fixed paths to fonts. 2021-07-14 16:58:54 +01:00
Wen Kokke
9691c05909
Fixed Agda errors; fixed css errors which resulted in the incorrect font being used. 2021-07-14 16:50:36 +01:00
Wen Kokke
edfb6c1601
Fixed bug in agda.css; compile with SCSS compiler. 2021-07-14 16:50:36 +01:00
Philip Wadler
5a5706ed5d
Merge pull request #569 from Altariarite/Fonts.lagda.md 
changed codeblocks to displays in Fonts.lagda.md
 2021-07-02 15:20:15 +01:00
Altaria
65536c8525 changed codeblocks comments to displays 2021-07-02 14:28:16 +01:00
wadler
00a04e43d1 small fix to Connectives 2021-06-26 15:43:48 +01:00
Philip Wadler
e54f752b6f
Merge pull request #568 from Altariarite/substitution 
fixed indentation for proper code displays in Substitution.lagda.md
 2021-06-25 20:17:00 +01:00
Altaria
dd370cd225 fix indentation on 736 to fix partial codeblocks 2021-06-25 16:14:28 +01:00
Altaria
0f8be19802 fixed indentation for proper code display 2021-06-25 11:22:18 +01:00
Philip Wadler
6b4140634f
Merge pull request #567 from Altariarite/Fonts.lagda.md 
Add missing symbols in Fonts.lagda.md
 2021-06-23 17:49:59 +01:00
Altaria
724d8eb487 added new symbols in part2 and 3 2021-06-23 15:25:45 +01:00
Wen Kokke
f9cafebe75
Updated README. 2021-06-16 23:31:37 +01:00
Wen Kokke
67b94951e0
Bumped Agda version to 2.6.1.3. 2021-06-16 23:30:18 +01:00
Wen Kokke
3291c18300
Bumped resolver and GHC version, added Hakyll, removed text-icu. 2021-06-16 16:26:02 +01:00
Wen Kokke
c732f6e89d
Bumped GHC version to 8.10.3. 2021-06-16 16:20:03 +01:00
Wen Kokke
617a788315
Merge. 2021-06-16 16:17:09 +01:00
Altariarite
c022088e3c
updated text-icu ver to be compatible with icu68+ (#565) 2021-06-16 16:13:27 +01:00
Philip Wadler
c92e164f28
Merge pull request #564 from jasonhemann/patch-1 
Link to `cask-fonts` cask for OSX.
 2021-06-09 15:00:29 +01:00
Jason Hemann
29e8a5387b
Link to cask-fonts cask for OSX. 
Homebrew doesn't come out-of-the-box with mononoki available; this gives the user a hint as to how to install
 2021-06-09 09:47:32 -04:00
Philip Wadler
ee4a4ce9fe
Merge pull request #562 from lacrosse/typos-and-additions 
Fix typos and add a missing Unicode symbol
 2021-03-10 14:29:38 +00:00
Alexander Skiba
88763966a7
Fix typos and add a missing Unicode symbol 2021-03-10 03:24:51 +07:00
Philip Wadler
a23fd711ac
Merge pull request #561 from yawpitch/patch-1 
Corrects "Windwos" -> "Windows"
 2021-02-28 18:05:52 +00:00
Michael Morehouse
7c8b72ae25
Corrects "Windwos" -> "Windows" 
Not my favorite OS, but Windows users might well search the file for occurrences and miss this one.
 2021-02-28 16:58:17 +00:00
Philip Wadler
045f66a7bc
Merge pull request #557 from asr/typos 
Fixed typos in the grammar for inherited terms
 2021-02-10 17:00:03 +00:00
Andrés Sicard-Ramírez
bfe3060196 Fixed typos in the grammar for inherited terms. 2021-02-10 10:13:07 -05:00
wadler
a95b36da45 added notes.md 2021-02-01 12:34:50 +00:00
wadler
3da42bdf23 revised hint for dagger exercise in bisimulation 2021-01-23 12:19:03 +00:00
wadler
946ac05513 Added mention of answer repository to preface and acknowledgements 2021-01-20 11:41:19 +00:00
Philip Wadler
48cf581002
Merge pull request #550 from HarrisonGrodin/patch-1 
Fix typo in DeBruijn chapter
 2020-12-26 14:35:00 +00:00
Harrison Grodin
1174f18ff7
Fix typo 2020-12-25 21:21:12 -05:00
Philip Wadler
6503d1f076
Update preface.md 
In response to #549 raised by Shreck Ye.
 2020-12-22 18:31:35 +00:00
Philip Wadler
a360530a42
Merge pull request #548 from crisoagf/EqReasoningTrans 
Create an exercise to reflect the fact that proving trans using ≡-Reasoning is circular
 2020-12-04 11:45:00 +00:00
Cristóvão Gomes Ferreira (Melo Gibson)
40b63478ba 547 - Proving trans using ≡-Reasoning is circular 2020-12-03 20:19:16 +00:00
Wen Kokke
8c9782d9b6 Added short sections on Spacemacs, VSCode, and Atom. 2020-11-25 14:09:26 +01:00
Wen Kokke
577fb8241f Fixed deploy to AFS. 2020-11-25 14:09:26 +01:00
Philip Wadler
a621b7d71e
Merge pull request #544 from mdimjasevic/bisim-us 
Bisimulation: Fixes a Verb Form
 2020-11-05 10:59:27 +00:00
Marko Dimjašević
7c69576733
Bisimulation: fixes a verb form 2020-11-05 06:09:44 +01:00
Wen Kokke
9776956c5e Added URL filter which removes 'index.html'. 2020-10-28 12:17:56 +01:00
Wen Kokke
39c3de6a99 Added highly niche task for publishing to inf.ed.ac.uk. 2020-10-28 11:49:38 +01:00
Wen Kokke
1225be30e2 Added git init to Makefile. 2020-10-27 11:51:24 +01:00
Wen Kokke
396124156b Fixed link error. 2020-10-26 17:41:12 +01:00
Wen Kokke
9b5ac3e7a8 Add section on citations to HOWTO. 2020-10-26 17:40:16 +01:00
Wen Kokke
2c4bf84365 Added support for citations. 2020-10-26 17:05:04 +01:00
Wen Kokke
e33b5fc952 Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda. 2020-10-24 17:22:41 +02:00