Commits

Commits on Sep 16, 2024

update web/TableOfContents (plfa#1036 )
wadler
authoredSep 16, 2024
update TSPL/2024 (plfa#1035 )
wadler
authoredSep 16, 2024

Commits on Sep 13, 2024

Use JuliaMono as code font (plfa#1034 )

wenkokke
and
pre-commit-ci[bot]
authoredSep 13, 2024

Commits on Sep 12, 2024

Correcting Louis's webpage (plfa#1033 )
llemonnier
authoredSep 12, 2024

Commits on Sep 11, 2024

set up TSPL 2024 course page (plfa#1032 )
wadler
authoredSep 11, 2024

Commits on Sep 10, 2024

Fix a typo. (plfa#1031 )
OlingCat
authoredSep 10, 2024

Commits on Sep 9, 2024

Bump sass from 1.77.8 to 1.78.0 (plfa#1030 )
dependabot[bot]
authoredSep 9, 2024
fixed Induction and Equality for new equality chains (plfa#1029 )

wadler
and
pre-commit-ci[bot]
authoredSep 9, 2024

Commits on Sep 5, 2024

Update PLFA to use Agda v2.7 (plfa#1028 )

wenkokke
and
JacquesCarette
authoredSep 5, 2024

Commits on Sep 3, 2024

Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 (plfa#1027 )
dependabot[bot]
authoredSep 3, 2024

Commits on Jul 29, 2024

explain Subst and Rename in Confluence chapter (plfa#1022 )
jsiek
authoredJul 29, 2024

Commits on Jul 24, 2024

updated extra/Subtyping-phil.lagda.md (plfa#1017 )
wadler
authoredJul 24, 2024

Commits on Jul 15, 2024

Bump sass from 1.77.6 to 1.77.8 (plfa#1015 )
dependabot[bot]
authoredJul 15, 2024

Commits on Jul 14, 2024

fix sub-abs in summary of the sigma algebra (plfa#1014 )
jsiek
authoredJul 14, 2024

Commits on Jul 8, 2024

Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (plfa#1012 )
dependabot[bot]
authoredJul 8, 2024

Commits on Jun 25, 2024

Bump sass from 1.77.5 to 1.77.6 (plfa#1011 )
dependabot[bot]
authoredJun 25, 2024

Commits on Jun 18, 2024

Commits on Jun 15, 2024

improve commute-subst-rename (plfa#1006 )
damhiya
authoredJun 15, 2024

Commits on Jun 3, 2024

Bump sass from 1.77.2 to 1.77.4 (plfa#1004 )
dependabot[bot]
authoredJun 3, 2024

Commits on May 20, 2024

--- (plfa#999 )
dependabot[bot]
authoredMay 20, 2024
--- (plfa#1000 )
dependabot[bot]
authoredMay 20, 2024

Commits on May 17, 2024

Bump sass from 1.76.0 to 1.77.1 (plfa#996 )
dependabot[bot]
authoredMay 17, 2024
Generalize and move postulation of foldr-++ (plfa#998 )
adql
authoredMay 17, 2024

Commits on May 7, 2024

Bump sass from 1.75.0 to 1.76.0 (plfa#995 )
dependabot[bot]
authoredMay 7, 2024

Commits on May 5, 2024

Fix issue plfa#987 (plfa#994 )
wenkokke
authoredMay 5, 2024

Commits on Apr 22, 2024

Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 (plfa#985 )
dependabot[bot]
authoredApr 22, 2024

Commits on Apr 15, 2024

Bump sass from 1.74.1 to 1.75.0 (plfa#984 )
dependabot[bot]
authoredApr 15, 2024

Commits on Apr 8, 2024

[pre-commit.ci] pre-commit autoupdate (plfa#982 )
pre-commit-ci[bot]
authoredApr 8, 2024
Bump sass from 1.72.0 to 1.74.1 (plfa#983 )
dependabot[bot]
authoredApr 8, 2024

Commits on Mar 23, 2024

Fixed some typos (plfa#981 )
OlingCat
authoredMar 23, 2024

Commits on Mar 20, 2024

Bump sass from 1.71.1 to 1.72.0 (plfa#979 )
dependabot[bot]
authoredMar 20, 2024

Commits on Mar 16, 2024

Bump follow-redirects from 1.15.4 to 1.15.6 (plfa#978 )
dependabot[bot]
authoredMar 16, 2024

Commits on Mar 15, 2024

Fixed a typo (plfa#977 )
OlingCat
authoredMar 15, 2024