8 Idris proefficiency tutorial¶
- 8.3 write about data types
- 8.4 write about IO
- 8.5 write about common functions
- 8.6 write about syntax
- 8.7 write instructions to install and use
- 8.8 port the new functions to prolude and refactor AOC 2021 (07.12.2021)
- 8.8.1 Day 1 (07.12.2021)
- 8.8.2 Day 2 (07.12.2021)
- 8.8.3 Day 3 (07.12.2021)
- 8.8.4 Day 4 (07.12.2021)
- 8.8.5 Day 5 (07.12.2021)
- 8.8.6 Day 6 (07.12.2021)
- 8.8.7 Day 7 (07.12.2021)
- 8.8.8 Day 8
- 8.8.9 Day 9
- 8.8.10 Day 10
- 8.8.11 Day 11
- 8.8.12 Day 12