Online Library TheLib.net » Тема, жанр, tags: Idris (język programowania),Programowanie funkcyjne (informatyka)