[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] proposed example

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

On Tuesday, September 27, 2022 at 9:47:03 PM UTC-5 morgan....@xxxxxxxxx wrote:
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...@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+u...@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/949faa0e-3a8d-4ee3-8263-662e42985f6bn%40googlegroups.com.