Merge pull request #261 from Libbum/axoimatic

Add Axiomatic Semantics to examples
This commit is contained in:
Vincent Prouillet 2018-03-17 13:59:56 +01:00 committed by GitHub
commit cdaab76e77
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,3 +14,4 @@
- [groksome.com](http://www.groksome.com)
- [tuckersiemens.com](https://tuckersiemens.com): https://github.com/reillysiemens/tuckersiemens.com
- [andrei.blue](https://andrei.blue): https://github.com/azah/personal-blog
- [Axiomatic Semantics](https://axiomatic.neophilus.net): https://github.com/Libbum/AxiomaticSemantics