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