[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] learning pluscal
- From: saleem khatib <saleemkhatib22@xxxxxxxxx>
- Date: Fri, 18 Feb 2022 11:21:05 -0800 (PST)
- Ironport-data: A9a23:XKumaaxEFMvVGdpiUL16t+egwyrEfRIJ4+MujC+fZmUNrF6WrkUEm DNMUGmPb/6DZzD9c94jao+x9k1Vu5GAm4AyTlNl+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8ly75RbrJA24DjWVvX4 IOq+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhc+ MRCpb2dGDsEYKDKm+5HeghyHh5haPguFL/veRBTsOSWxkzCNnzwmrBgUhtwMoof9eJ6R2pJ8 JT0KhhXNkHF17/wmuvjDLc27iggBJGD0Ic3pnVp1TXEFrUsR5vpb4/vw/l18QsZqOpkPM7yV 5Q4QB9AVTn8REBtAHomIJ05m+isi3bldCBAsxSeoq9fD237klchjuiya7I5fPSgXOB+o2Klh 1iY0EipGiwEF8Ccx2OKpyfEaujnxHunAur+DoaQ+v9xi0CI3UQPDBRQUECh5Pi/kE+3HdNZM U0dvCQ0xZXe72SuR9j5Ghqk+TuK4ERaVN1XHOk3rgqKz8I4/jp1GEApfi9OeP0L5fMbGzEs1 VXTtsLDCANw5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFj5v4oZoYzeJNZnuEZChmrn G/X9HlWa6E7yJ9Uh//irDgrlhr1/sCRJjPZ8Dk7SY5M0++UTIusZojt7kSCqPgedsCWSV6Ou HVCkM+bhAzvMX1vvHPXKAnuNOvxjxpgDNE6qQIwd3XG32n1k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vvV5lzl/K+TYy5B6y8gj9yjn5ZJF/vEMZGNR744owRuBVEfVwXZ c3CKp71VR7294w+lGXqFo/xLoPHNghnnT+JLXwK5xug1rWaaRaopUQtYTOzghQCxPrc+m39q o4BX+PTkkU3eLCgPkH/rNFLRXhXfSlTLc2n96R/K7/TSiI4QzpJI6GKkdscl3lNxMy5YM+Vo iriMqKZoXKk7UD6xfKiMC47M+q3Bc4lxZ/5VAR1VWuVN7EYSd7HxM8im1EfJ9HLLcRvkqx5S ecrYcKFDqgdQzjL4W1DP5b6q4NmeRuxgh+WJGyuZz1mJ8xsQAnA+9nFeArz9XheVXHu7pRg/ LDwhBnGRZcjRhh5CJqEYvyYyV7s72MWn/h/XheVL9QKIBfs/YFmJjbflPgyJ81QexzPyiHLh QmTCBYc4+LKptZtotXOgKmFqaavEvd/ThIKRTmFse7uOHCDrGS5wIJGXOKZRhznVTv5qPe4e OFY7/DgK/lYzltHtoxLFbw0n68z4t3YoaADklZpEXDNWFScCr16J06A08QS5LZGwaVUuFfvV 0+Co4IIObiANM7/KlMJIBs5aeCPiaMdljXItKpnL0L96yt686CATF1JeRKLjXUFfrdyNYokx 8YnudIXulzk0UNxbYjZg3AG7XmII1wBT74j6sMQDrjth1d50VpFe5HdVnL77ZzTOdVBNk4mf m2diKbY3e8Ow0PDdz80CSGI07QHw5sJvx9OwRkJIFHQwojJgfo+3Rtw9zUrT1QKkk8WjborY mU7ZVdoIaiu/itzgJQRVW6bHQwcVgaS/Vb8ygdUmWCIHU2pTXDwKnYgM+KBoBIQ/25GIGgJ+ biZzHriAznte8710yQoXlN9sLnmRNp4+QCBw5/3TpjYQcllOGO7wbKofncCsBD9AMk8rELAo uZu8elqbrDjLmgbpKhiU9uW0rEZSRalIm1eQKAxp/hQRj6CJzziiyKTL02Re99WI6CY+0GPD cEzdNlEUA6z1XrToz0XWfwFL7NuwK975MYeYqi5YikJqbyCtiEvv5XX+SzzwmQsRpJhi8EgM sTNczuaFnGLwmBJkXTGtshON2e1PYseaAvn0Lzn+ekFDchY4uRlcEV31aft+nvLak1o+BWbu A6FbKjTlrQwxYNplorqM6NCGwTkdo+pBbrQqFi+44ZUcNfCEcbSrAdJ+FPpCAJbYOkKUNNtm LXR7dP60SspZlrtv7w1RnVAK0VI2Sl2dO9eM8ayK2UD2CXcAonj5BwM/23+IptM+D+YCg9LW CPgAPZct/ZMMzue+JGRQydZFBkZBqvtabr4vmW2qPHk5t01z1ncNN3+nZP2RTgzS8LLUqESz if7vPGh4t1XtoNRHARCDPZja3O9zJkPRoN+H+DMWfKk4qVET79MVnYOVfbt1N0TNkS5LQ==
- Ironport-hdrordr: A9a23:Ma/0qK6bx8rck6KsjQPXwFfXdLJyesId70hD6qkRc20uTiX8ra rCoB11726RtN98YgBGpThvUJPwNU812/ZOkPws1PSZLXjbUFLBFvAR0WKa+UyWJ8SczJ8n6U /UGJIOduEYc2IK9PoSuzPIbOrIqePvmMvY59s2qU0dMT2CRJsO0+4TMHfiLqQZfnghOXL5fK DshfavZADPRZ3UVKiG7slvZZmxmzQGrvPbie5sPW9b1OBGt1PYjYLSIlyjxx8bFxlPzb0h/W WAswu8yL6kr+jT8G6t61Pu
- Ironport-sdr: dak9v0pYhV1dkkrLYrx5hscvYLTq9N8G87EmTHqkmZq8L6UM0nb/Nc2XdIo3RjgKO5SfXMcPtZ /ZizYYCDDfCkQa1TD8YiwyLHZxkjBHyxVDSp8CuVTBdDCnT5YIezXv5y7jwJfuExzBy6EJ2Oir ssFE8X/3vqa8kYkF43XvVHcX9K+j7zDR2fKTP7YGRj1xfmXRWH3/c3ZISKFjgpMGbD7XQo1l5d WIlZI6bCOylA4VVUMwkLPsuQ/m+Khvng9HzM7HFtQi9JqRvPdHTO47XYBGKy3u2C8HOJiPJjZi 2ocUDQX3WWORcJ0XgIID8GOY
I tried learning PlusCal but found it cumbersome compared to TLA+.I can read TLA+ specifications and really enjoy it. Is there any advantage to learning pluscal?
--
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/e8ff6de9-f175-44f6-a491-fa132eab4ff9n%40googlegroups.com.