A type safe implementation of a merkle tree. This implementation exploits a lot of usages of GADTs
I made a presentation for my impelementation. You can find it the directory my-presentation/spectacle
.
Here are the instructions to run the presentation:
cd my-presentation/spectacle
npm run build
npm start
npm start
should run a local server on localhost:3060
. The slides was created with Spectacle.