Release of NASA's Ogma, a runtime verification language for hard-realtime Chttps://old.reddit.com/r/haskell/comments/r80djm/ann_nasas_ogma/ by one-punch • 5 years ago 6 0 5 years agoOLold.reddit.com