ОбзорДокументацияВойти
/
SLAVONchick
/
idris-tdd-solutions
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность

idris-tdd-solutions

0

Описание

Solutions for exercizes from Type Drive Development in Idris

9 KiB
README
В избранном0
Форки0

Языки

  • Idris100%
1
4
0

Exercise 2
6 лет назад
Exercize 3.2
6 лет назад
Exercize 4.1
6 лет назад
Exercize 4.2
6 лет назад
Hello World
6 лет назад
.gitignore
6 лет назад
README.md
6 лет назад
README.md