Posted on July 26, 2015
-
How do you fit all this into 4096 bytes of ROM and 128 bytes of RAM?
A good data structure, and efficient coding.
- Ange Albertini walks through creating a basic PDF file from scratch. He also makes great posters.
Coding for Types: The Universe Pattern in Idris
Great talk by David Christiansen about the Universe pattern (creating a Universe type that encodes a set of types as values that can then be pattern matched over).