idris-examples

Some examples of programs with dependent types from Type Theory course in IFMO University.

TODO

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
BinarySearchTrees.idr		BinarySearchTrees.idr
DependentSearchTrees.idr		DependentSearchTrees.idr
DependentSearchTreesCE.idr		DependentSearchTreesCE.idr
DependentTypeExample.idr		DependentTypeExample.idr
DependentTypeIO.idr		DependentTypeIO.idr
FileIO.idr		FileIO.idr
GuessNumber.idr		GuessNumber.idr
Homework92.idr		Homework92.idr
InfoStorage.idr		InfoStorage.idr
ListUtils.idr		ListUtils.idr
Logic.idr		Logic.idr
Main.idr		Main.idr
Mappers.idr		Mappers.idr
MyRepls.idr		MyRepls.idr
NumberUtils.idr		NumberUtils.idr
Numbers.idr		Numbers.idr
README.md		README.md
SimpleIO.idr		SimpleIO.idr
Sprintf.idr		Sprintf.idr
StreamingActions.idr		StreamingActions.idr
Sum.idr		Sum.idr
VectorUtils.idr		VectorUtils.idr

Provide feedback