.jpg)
November 26th, 2018. Article by Danya Rogozin
Last week, we started a new blog series to introduce you to creating constructive and non-constructive proofs in Agda..
Tags
- mathematics
- cryptography
- random numbers
- computer science
- turing degree
- serokell
- remote work
- agda
- functional programming language
- haskell
- open source projects
- top haskell programs
- typescript
- agda vs haskell
- quantum computers
- outsourcing
- software development
- theorem proving
- libra
- blockchain
- mtl
- tagless final
- hobby
- ml
- dependent types
- machine learning
- avl
- top events
- best conferences
- signal processing
- tezos
- michelson
- edsl
- morley
- language encoding
- topology
- top projects
- haskell software
- outsourcing software development
- learn haskell
- resource guide
- ton
- history
- dependent haskell
- elixir
- teaching haskell