Labs
Blog
Team
Contacts
Hire us
Your browser seems to have problems showing our website properly so it's switched to a simplified version.
We use cookies to personalize content and give you the best web experience. For more details, please read our
Privacy Notice
Accept
Tag:
Agda vs Haskell
Research
Programming
Artificial Intelligence
Interviews
Other
haskell
serokell
interview
machine learning
elixir
introduction
ai
eDSL
mathematics
remote work
resource guide
blockchain
formal verification
agda
computer science
dependent types
history
learn haskell
open source projects
smart contracts
tezos
algorithms
best conferences
elixir in production
haskell in production
ml algorithms
modal logic
physics
software development
ton
top events
top haskell programs
topology
typescript
agda vs haskell
avl
best-practices
cardano
conferences
cryptography
dependent haskell
dlt
erlang
functional programming
functional programming language
ghc
github
gitlab
haskell software
hobby
language encoding
libra
library
michelson
ml
morley
mtl
nix
outsourcing
outsourcing software development
quantum computers
random numbers
rust
serokellchat
signal processing
tagless final
teaching haskell
theorem proving
top projects
turing degree
web summit
- Less
- Less
Constructive and Non-Constructive Proofs in Agda (Part 2): Agda in a Nutshell
Last week, we started a new blog series to introduce you to creating constructive and non-constructive proofs in Agda..
Article by
Danya Rogozin
Monday, November 26th, 2018
haskell
serokell
interview
machine learning
elixir
introduction
ai
eDSL
mathematics
remote work
resource guide
blockchain
formal verification
agda
computer science
dependent types
history
learn haskell
open source projects
smart contracts
tezos
algorithms
best conferences
elixir in production
haskell in production
ml algorithms
modal logic
physics
software development
ton
top events
top haskell programs
topology
typescript
agda vs haskell
avl
best-practices
cardano
conferences
cryptography
dependent haskell
dlt
erlang
functional programming
functional programming language
ghc
github
gitlab
haskell software
hobby
language encoding
libra
library
michelson
ml
morley
mtl
nix
outsourcing
outsourcing software development
quantum computers
random numbers
rust
serokellchat
signal processing
tagless final
teaching haskell
theorem proving
top projects
turing degree
web summit
- Less
- Less
Research
Programming
Artificial Intelligence
Interviews
Other
Close
.jpg)
