https://github.com/kokorinilya/idris-examples
Some examples of programs with dependent types from Type Theory course in IFMO University.
https://github.com/kokorinilya/idris-examples
dependent-types ifmo theorem-proving type-theory
Last synced: 4 months ago
JSON representation
Some examples of programs with dependent types from Type Theory course in IFMO University.
- Host: GitHub
- URL: https://github.com/kokorinilya/idris-examples
- Owner: KokorinIlya
- Created: 2018-12-11T16:44:38.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-02-07T10:34:58.000Z (over 7 years ago)
- Last Synced: 2025-06-27T10:46:13.155Z (12 months ago)
- Topics: dependent-types, ifmo, theorem-proving, type-theory
- Language: Idris
- Homepage:
- Size: 35.2 KB
- Stars: 0
- Watchers: 0
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# idris-examples
Some examples of programs with dependent types from Type Theory course in IFMO University.
TODO
1) Пары, алгебраические типы, экзистенциальные типы