search

FedericoPonzi / tlaplus-wiki

Moved to dokuwiki: https://docs.tlapl.us
https://docs.tlapl.us
Apache License 2.0
1 stars 0 forks source link

Relation to the Apalache wiki? #1

Open ahelwer opened 3 months ago

ahelwer commented 3 months ago

Apalache has quite a developed wiki, which is also written in mdbook; see: https://github.com/informalsystems/apalache/tree/main/docs

While a lot of it is Apalache-specific, it also has an excellent reference section for TLA+: https://apalache.informal.systems/docs/lang/index.html

What is the desired relationship, if any, between this wiki and that wiki? The wiki is licensed under Apache 2.0 as far as I can tell.

FedericoPonzi commented 3 months ago

I expect the TLA+ wiki will have pages that talk about apalache. If they want, I don't see a reason why they can't move the wiki over the TLA+ wiki, but if they're happy with their current setup I dont see a reason to force them to move either. Though it's good to know they're with Apache 2, I'm curious to see if LF has a different, preferred license