Dragon of BSDCafe :freebsd: on Nostr: nprofile1q…tvf35 It will be MISRA-C or Ada? :drgn_aww: Or Ada/SPARK?! :drgn_hyper: ...nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqt7dmr2xue8zaxsxhy2xkdja0nx6f8cu8y8l7hfksw98y773djkgqktvf35 (nprofile…vf35) It will be MISRA-C or Ada? Or Ada/SPARK?! r1w1s1 (nprofile…qxrs)