Concatenative Programming @programming.dev

Andy @programming.dev

3w ago

Writing a Verified Postfix Expression Calculator in Ada/SPARK