Martin Keegan

https://github.com/ambyshframber/kepler

query: character sets

1

Should it really say ``` ``` rather than ``` ``` ?

add link to Jemi

2

gemini://freeshell.de/jemi.gmi

http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html#subprogram-contracts

Licence missing

4

I'm delighted to see this book (which I only knew as a pdf) in source form on github. Have you decided on a copyright licence, e.g., CC-BY-SA? It'd be great...