Follow our Telegram channel to get notified instantly whenever new books are published.
Follow our Telegram channel to get notified instantly whenever new books are published.
Category Idris
Idris (Idris) is the definitive, industry-standard functional programming language, globally famous for its masterfully type-dependent, rigorous, and universally influential professional software engineering resources.