Skip to content

Instantly share code, notes, and snippets.

@freeman42x

freeman42x/agda.md

Created April 29, 2020 01:15
Show Gist options
  • Save freeman42x/8480d4616836a56361700355dcbfcf81 to your computer and use it in GitHub Desktop.
Save freeman42x/8480d4616836a56361700355dcbfcf81 to your computer and use it in GitHub Desktop.
Download ZIP
Agda study
Raw
agda.md

Join Discord: https://discord.gg/ZQfmjTP the #agda channel for any questions. You can also ask Agda question on Freenode IRC channel #agda.

Daily schedule:

  • 30 minutes of Agda theory
  • 30 minutes of Agda practice

PLFA schedule:

  • Theory and exercises from Dedication, Preface and Numberals -> 30 April
  • Theory and exercises from Induction -> 2 May
  • Theory and exercises from Relations -> 5 May
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment