Skip to content

Commit

Permalink
Merge pull request #261 from Libbum/axoimatic
Browse files Browse the repository at this point in the history
Add Axiomatic Semantics to examples
  • Loading branch information
Keats committed Mar 17, 2018
2 parents 1d81bbc + eb9323a commit cdaab76
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions EXAMPLES.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit cdaab76

Please sign in to comment.