A DSL for Decentralised Identity in OCaml [part-ii-dslid]

This project was completed by Michał Mgeładze-Arciuch and supervised by Anil Madhavapeddy and Patrick Ferris.