crypto.bi

Browsing Concept: Haskell

Haskell is a purely functional programming language which generates very secure and elegant programs. Haskell is used in the implementation of the Cardano ADA cryptocurrency.

Browsing 3 results under Haskell
Building the Haskell cardano-node on Linux
tl;dr; Jump straight to the build instructions The Details Looking forward to the Haskell mainnet, the next step in the Cardano project, I've begun exploring the cardano-...
Cryptocurrency programming languages you should learn
Many different computer programming languages are employed in cryptocurrency programming. In this article, we take a look at cryptocurrency projects and the languages they empl...
What is “formal verification” of cryptocurrency software?
You may have heard that Cardano ADA is aiming for formal verification of its core software. What does it mean for software programs to be formally verified? Why is it important...