Public data for https://learn-idris.net/ - View it on GitHub