issues
search
plfa
/
plfa.github.io
An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.36k
stars
307
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add link to Assignment1
#1042
wadler
closed
1 day ago
0
updated course page
#1041
wadler
closed
1 day ago
0
Bump sass from 1.79.3 to 1.79.4
#1040
dependabot[bot]
closed
2 days ago
0
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8
#1039
dependabot[bot]
closed
2 days ago
0
Bump browser-sync from 3.0.2 to 3.0.3
#1038
dependabot[bot]
closed
1 week ago
0
Bump sass from 1.78.0 to 1.79.3
#1037
dependabot[bot]
closed
1 week ago
0
update web/TableOfContents
#1036
wadler
closed
2 weeks ago
0
update TSPL/2024
#1035
wadler
closed
2 weeks ago
0
Use JuliaMono as code font
#1034
wenkokke
closed
2 weeks ago
0
Correcting Louis's webpage
#1033
llemonnier
closed
3 weeks ago
0
set up TSPL 2024 course page
#1032
wadler
closed
3 weeks ago
0
Fix a typo.
#1031
OlingCat
closed
3 weeks ago
0
Bump sass from 1.77.8 to 1.78.0
#1030
dependabot[bot]
closed
3 weeks ago
0
fixed Induction and Equality for new equality chains
#1029
wadler
closed
3 weeks ago
0
Update PLFA to use Agda v2.7
#1028
wenkokke
closed
4 weeks ago
0
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4
#1027
dependabot[bot]
closed
1 month ago
0
Holey version of PLFA?
#1026
JacquesCarette
closed
1 month ago
6
document .gitignore. Add .DS_Store to it while at it.
#1025
JacquesCarette
opened
1 month ago
2
Port PLFA to work with agda-2.7 and stdlib-2.1
#1024
JacquesCarette
closed
4 weeks ago
14
`_⊎_` from Connectives.agda no longer compiles in 2.6.4
#1023
JacquesCarette
closed
1 month ago
3
explain Subst and Rename in Confluence chapter
#1022
jsiek
closed
2 months ago
1
explain neutral terms and add a simple exercise
#1021
nrnrnr
opened
2 months ago
1
motivate and explain parallel reduction, plus wordsmithing
#1020
nrnrnr
opened
2 months ago
1
The Confluence chapter uses `Subst` without definition, comment, or forward reference
#1019
nrnrnr
opened
2 months ago
0
Slow workflow for contributors
#1018
nrnrnr
opened
2 months ago
8
updated extra/Subtyping-phil.lagda.md
#1017
wadler
closed
2 months ago
0
Something seems to be missing in chapter Naturals
#1016
cmsmcq
opened
2 months ago
0
Bump sass from 1.77.6 to 1.77.8
#1015
dependabot[bot]
closed
2 months ago
0
fix sub-abs in summary of the sigma algebra
#1014
jsiek
closed
2 months ago
2
Bug in appendix Substitution
#1013
wadler
opened
2 months ago
1
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3
#1012
dependabot[bot]
closed
2 months ago
0
Bump sass from 1.77.5 to 1.77.6
#1011
dependabot[bot]
closed
3 months ago
0
Bump ws, engine.io-client and socket.io
#1010
dependabot[bot]
closed
3 months ago
0
Bump braces from 3.0.2 to 3.0.3
#1009
dependabot[bot]
closed
3 months ago
0
Update introduction to Relations.lagda.md
#1008
DavidPratten
closed
3 months ago
2
Bump sass from 1.77.4 to 1.77.5
#1007
dependabot[bot]
closed
3 months ago
0
improve commute-subst-rename
#1006
damhiya
closed
3 months ago
0
Can `make build` be made to run in parallel?
#1005
nrnrnr
closed
3 months ago
2
Bump sass from 1.77.2 to 1.77.4
#1004
dependabot[bot]
closed
4 months ago
0
Type suggested in exercise Bin-isomorphism does not compile.
#1003
nrnrnr
opened
4 months ago
2
Add catch-all explanation for users who installed Agda on Windows
#1002
DavidPratten
closed
4 months ago
2
U+02B3 (MODIFIER SMALL LETTER R, aka superscript r) not available via \^r
#1001
nrnrnr
closed
3 months ago
6
Bump sass from 1.77.1 to 1.77.2
#1000
dependabot[bot]
closed
4 months ago
0
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1
#999
dependabot[bot]
closed
4 months ago
0
Generalize and move postulation of `foldr-++`
#998
adql
closed
4 months ago
0
`foldr-++` (Lists): the postulated form is misleading and causing type mismatch
#997
adql
closed
4 months ago
1
Bump sass from 1.76.0 to 1.77.1
#996
dependabot[bot]
closed
4 months ago
0
Bump sass from 1.75.0 to 1.76.0
#995
dependabot[bot]
closed
4 months ago
0
Fix #987
#994
wenkokke
closed
5 months ago
3
Repository is too large
#993
wenkokke
opened
5 months ago
1
Next