Suggested modification to first exercise

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

Open KevinDCarlson opened 5 months ago

KevinDCarlson commented 5 months ago

Fixes #960 by handing the student the type declaration. Starts with an explicitly wrong answer to avoid ?s.