.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
- libra
- blockchain
- github
- gitlab
- serokell
- software development
- haskell
- open source projects
- top haskell programs
- dlt
- cardano
- agda
- agda vs haskell
- resource guide
- physics
- signal processing
- functional programming
- avl
- top events
- best conferences
- learn haskell
- mathematics
- modal logic
- dependent types
- dependent haskell
- typescript
- elixir
- teaching haskell
- topology
- cryptography
- random numbers
- computer science
- turing degree
- remote work
- functional programming language
- outsourcing
- theorem proving
- hobby
- edsl
- morley
- michelson
- language encoding
- tezos
- ml
- machine learning
- mtl
- tagless final
- quantum computers
- outsourcing software development
- top projects
- haskell software
- history
- ton
- web summit
- conferences