search

sdthompson1 / babylon

An experimental new programming language with verification features.
https://www.solarflare.org.uk/babylon
Other
1 stars 0 forks source link

Documentation #16

Open sdthompson1 opened 4 months ago

sdthompson1 commented 4 months ago

Initial documentation for language and library.

We can maybe tidy up or rewrite the existing examples and demos, as well.

Also - make sure we have a "long tests" script which will check all the examples/demos to make sure they still compile and verify.