GitHub repository: KokorinIlya/idris-examples
Primary language: Idris
Created: 2018-12-11T16:44:39Z
Description: Some examples of programs with dependent types from Type Theory course in IFMO University.