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

Re: [tlaplus] DieHard code implementation

Hi Nestor,

we have a page here with B, TLA+ and Z versions of the puzzle:

Michael Leuschel

On 4 Nov 2018, at 02:17, Nestor Diaz <nes...@xxxxxxxxx> wrote:

It seems that we could even submit a new language to rosettacode, actually there is no TLA+ at https://rosettacode.org/wiki/Category:Programming_Languages .
Well ... this is the TLA+ spec of DieHard that I have.