idris-tutorial
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
A tutorial to the Idris Programming Language.
94 stars
22 watching
27 forks
Language: TeX
last commit: about 9 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 idris-hackers/idris-koans | Learning Idris by fixing failing code in a series of small exercises | 178 |
 mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 470 |
 uwap/idris-http | An HTTP library for Idris | 40 |
| idris-lang/idris-dev | A development repository for a dependently typed functional programming language | 3,440 |
| idris-lang/idris2 | A compiler and language for a purely functional programming language with first class types | 2,541 |
| idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
| idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
 dwyl/learn-travis | A tutorial for Node.js developers to learn Continuous Integration with Travis CI | 1,243 |
 joearms/crypto_tutorial | Building an Erlang-based tutorial on cryptographic topics | 363 |
 idris-industry/ikan | A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility. | 34 |
 belse-de/zig-tut | A collection of tutorials and projects to learn the Zig programming language | 18 |
 stedolan/idris-malfunction | An experimental compiler that translates Idris code into the Malfunction programming language. | 81 |
 internlm/tutorial | A tutorial project for exploring large language models and their applications in natural language processing tasks. | 1,593 |
 jhusain/learnrx | A resource for learning React and related technologies | 23 |
 zighelp/zighelp | A comprehensive resource for learning and using the Zig programming language. | 38 |