Catala features (documentation/landing) about catala

[denismerigoux]

Hi @andrewbaxter, thanks for your contribution! However I disagree with your characterization of what Catala is. It's a domain-specific programming language for deriving executable software from legislative specifications, with its core application domain being tax and social benefits computations. It is not a semantic encoding of the law like in the ontology/reasonning engine sense of the term.

"Catala in action" shows how you can write the code from law, but what can you do with it after writing it?

Well execute the program and obtain some outputs from the inputs. For instance how much tax you owe from your income declaration.

[andrewbaxter]

Hmm, maybe I wasn't clear. To shorten this: I don't know what Catala is from reading the readme + front page. The fact that I was so wrong about it emphasizes this. Your reply already has more information than either of those documents. This was a request to clarify the landing pages, not to change the nature of Catala.