3 ms·

Is there a relationship between contracts and proof languages like Idris, or are these completely different approaches?