Open robin-aws opened 1 year ago
Very challenging to model well to support verification and interoperability with other programming languages. #37 is a good start but I'm dissatisfied with the explosion of different interfaces it was steering into.
Very challenging to model well to support verification and interoperability with other programming languages. #37 is a good start but I'm dissatisfied with the explosion of different interfaces it was steering into.