📜 plfa-solutions This is a repository with my solutions for PLFA tasks, which will grow as I am moving through the book Part 1 Naturals, Done! Induction, in progress Relations, not done yet