stefan-hoeck/idris2-tutorial

This is stars and forks stats for /stefan-hoeck/idris2-tutorial repository. As of 25 Apr, 2024 this repository has 148 stars and 18 forks.

Functional Programming in Idris 2 中文翻译, 日本語訳 The goal of this project is quickly explained: To become a more or less comprehensive guide to the Idris programming language, with a lot of introductory material targeted at newcomers to functional programming. The content will be organized in several parts, with the part about the core language features being the main guide to functional programming in Idris. Every part consists of several chapters, each trying to cover in depth a certain aspect of the...