You will be part of the GarganText team, contributing to the development of a collaborative and decentralized digital ecosystem based on textual data mining (free software).
This is an introductory book to programming in Lean 4, a pure functional language that started as a theorem prover at Microsoft Research by Leonardo de Moura. It is a dependently typed language similar to Idris, with many features inspired by Haskell....
Functional Programming in Lean (leanprover.github.io)
This is an introductory book to programming in Lean 4, a pure functional language that started as a theorem prover at Microsoft Research by Leonardo de Moura. It is a dependently typed language similar to Idris, with many features inspired by Haskell....