GitHub repository: stepancheg/learn-idris-pub
Primary language: Idris
Created: 2020-06-09T03:01:14Z
Description: Public data for https://learn-idris.net/