Re: [tlaplus] proposed example

[Morgan Weetman <morgan.weetman@xxxxxxxxx>]

Hi Martin,

I'd just open a pull request, any conversation can happen there,

cheers

On Tue, Sep 27, 2022 at 11:30 PM Martin Harrison <reamstack@xxxxxxxxx> wrote:

I demonstrated refinement mapping in TLA+, for an interview, with a crude specification of polymerase chain reaction. Can I add this to your examples repository?

https://github.com/egLanghaus/glowingRaccoon 

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/b23e64d2-e696-4923-8661-6b16923007bfn%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAKFE_%3DRSMS_Ro%3Di5G1yUmwOGd0z_Bh35VDJoLiykPs7zPa%3D8VQ%40mail.gmail.com.