plfa / plfa.github.io

Watch 26
Star 865
Fork 179

Code
Issues 22
Pull requests 1
Actions
Projects
Security
Insights

Code
Issues
Pull requests
Actions
Projects
Security
Insights

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Pick a username

Email Address

Password

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 105 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

Projects

Filter by project

Milestones

Filter by milestone

Assignee

Filter by who’s assigned

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

Part 1 - Equality chapter - Proving transitivity using ≡-Reasoning is circular

#547 opened Dec 1, 2020 by crisoagf

Turn Γ into a parameter.

#545 opened Nov 20, 2020 by xekoukou

Whitespace sensitivity

#538 opened Oct 22, 2020 by wenkokke

False claim of `C-c C-a` usability in Lambda chapter.

#517 opened Sep 17, 2020 by capn-freako

Alternative formalisation of variables via de Bruijn indices

#513 opened Sep 9, 2020 by mdimjasevic

Suggestion for an exercise in chapter Quantifiers

#510 opened Aug 23, 2020 by jllang

Add references

#504 opened Aug 19, 2020 by wenkokke

Quantifiers, Bin-Isomorphism exercise: issue with type of proj₁≡→Can≡

#499 opened Jul 30, 2020 by matthew-healy

Definition of ∀

#490 opened Jul 8, 2020 by wenkokke

Build of PLFA site and EPUB doesn't list dependency on static Markdown files

#482 opened Jun 18, 2020 by wenkokke

Solution for `.lagda.md` not being supported by many editors / IDEs

#475 opened May 22, 2020 by razvan-flavius-panda

Source of mononoki font

#471 opened May 7, 2020 by malte-v

Exercise Suggestion: Pi-syntax

#436 opened Nov 8, 2019 by jllang

Copatterns and left-programming

#428 opened Oct 22, 2019 by wenkokke

All-∀ exercise

#333 opened Jul 9, 2019 by Boarders

∀-× (Quantifiers): Is plfa.Isomorphism.extensionality enough?

#261 opened May 16, 2019 by collares

Isomorphism: Inconsistency in naming with Relations

#232 opened Mar 13, 2019 by googleson78

Unicode instructions update enhancement

#215 opened Mar 6, 2019 by ywata

More: Code block for exercise in More.lagda

#210 opened Mar 2, 2019 by ywata

Quantifiers: Incorrect textual description of proof

#206 opened Feb 27, 2019 by mdimjasevic

Exercise _† not doable bug

#190 opened Feb 1, 2019 by PiotrJander

Isomorphism: refl with no arguments bug

#161 opened Jan 22, 2019 by mdimjasevic

ProTip! What’s not been updated in a month: updated:<2020-11-02.

plfa / plfa.github.io

Essential cookies

Always active

Analytics cookies