Tag: Well-Typed

The inaugural Cardano meetup in the Netherlands was held in Rotterdam in July. From the beautiful event space, the amazing speaker line up and the overwhelming attendance from the …

Cardano is being developed with the aim of making it high assurance software. This is code that is rigorously developed using certain techniques to ensure it is bug free …