You will also find the accompanying tutorial markdown (e.g., tut01/README.md) which illustrates the abstraction from Brian’s corresponding video (e.g., video1) and how to implement it in PureScript. I ...
This is a template for starting a fresh project with the Halogen library for writing declarative, type-safe user interfaces. If you notice any problems with the below setup instructions, or have ...
This is an extremely experimental PureScript embedding of SnarkyJS. Its official purpose is a proof-of-concept for a DSL in support of the MLabs zkPal zkIgnite proposal. Its unofficial purpose is ...