commit 9585c6

2019-02-16 13:04:12 ohenley: Add Ada/SPARK (#1482)

0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9

`readme.md` ..
@@ 177,6 177,7 @@
	- [ActionScript 3](https://github.com/robinrodricks/awesome-actionscript3#readme) - Object-oriented language targeting Adobe AIR.
	- [Eta](https://github.com/sfischer13/awesome-eta#readme) - Functional programming language for the JVM.
	- [Idris](https://github.com/joaomilho/awesome-idris#readme) - General purpose pure functional programming language with dependent types influenced by Haskell and ML.
+	- [Ada/SPARK](https://github.com/ohenley/awesome-ada#readme) - Modern programming language designed for large, long-lived apps where reliability and efficiency are essential.


	## Front-End Development