proposed example

Martin Harrison

unread,

Sep 27, 2022, 9:30:20 AM9/27/22

to tlaplus

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

Morgan Weetman

unread,

Sep 27, 2022, 10:47:03 PM9/27/22

to tla...@googlegroups.com

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 <ream...@gmail.com> 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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/b23e64d2-e696-4923-8661-6b16923007bfn%40googlegroups.com.

Martin Harrison

unread,

Sep 28, 2022, 5:43:09 AM9/28/22

to tlaplus

Thanks, done. That was my instinct but I got the impression from the readme on GH that I should start here.

Reply all

Reply to author

Forward