boschresearch / blech

Blech is a language for developing reactive, real-time critical embedded software.
Apache License 2.0
72 stars 5 forks source link

Where can I find documentation on the language? #1

Closed frameworklabs closed 4 years ago

frameworklabs commented 4 years ago

Please provide or link to a file listing and explaining the available language constructs.

schorg commented 4 years ago

Examples and a user manual will follow in the next weeks. Stay tuned!

schorg commented 4 years ago

A can find a first draft of the Blech user manual in the blech-doc repository Blech documentation and website repository From this repository we will soon create documentation and a website.

FriedrichGretz commented 4 years ago

The website is now live and the aforementioned user manual can be found there. Of course, it never is 100% complete. But I guess we can close the issue of having no doc at all. Further discussions concerning the details of the doc can be started on the issue tracker of the documentation repository.