Repository navigation

All pull requests

Labels (28)Milestones (1)New pull request

Bump immutable
#1240dependabot[bot] opened Oct 12, 2026Bot
Bump source-map-js from 1.0.2 to 1.2.2
#1239dependabot[bot] opened Oct 12, 2026Bot
Bump brace-expansion
#1238dependabot[bot] opened Oct 12, 2026Bot
fix typos
#1237Hillosanation opened Oct 6, 2026
1
Bump html-validate from 10.9.0 to 11.16.1
#1236dependabot[bot] opened Oct 5, 2026Bot
Add PLFA Playground link to Table of Contents
#1235SeungheonOh opened Oct 4, 2026
1
fix typo
#1234Hillosanation opened Sep 28, 2026
1
fix typo
#1233Hillosanation opened Sep 24, 2026
3
Bump sass from 1.99.0 to 1.101.0
#1206dependabot[bot] opened Jun 15, 2026Bot
Isomorphism antisym
#1204peterthiemann opened Jun 4, 2026Contributor
2
Bump sass from 1.99.0 to 1.100.0
#1199dependabot[bot] opened May 26, 2026Bot
Add tips page to the book 2
#1137noughtmare opened Oct 24, 2025
3
Generalize commute-subst-rename
#1130damhiya opened Sep 14, 2025Contributor
8
Add a sentence to motivate eta-equality
#1102fangyi-zhou opened Feb 19, 2025Contributor
3
Type of suggested lemma in Bin-isomorphism compiles
#1083negatratoron opened Jan 22, 2025Contributor
7
Update Lambda.lagda.md Diamond and confluence example
#1071b-m-f opened Nov 21, 2024
3
explain neutral terms and add a simple exercise
#1021nrnrnr opened Jul 26, 2024
4
motivate and explain parallel reduction, plus wordsmithing
#1020nrnrnr opened Jul 26, 2024
2
Prevent color change of visited definitions in code blocks
#990adql opened May 3, 2024Contributor
4
Add devcontainer support
#973weihongliang233 opened Mar 5, 2024
Bump EPUBCheck *4.2.6 -> 5.1.0
#935wenkokke opened Nov 13, 2023Collaborator
Add a tips page to the book
#881michaelpj opened Jun 2, 2023
17
Bisimulation: add a note about requirements of bisimulation
#785fangyi-zhou opened Nov 10, 2022Contributor
2