Skip to content

Commit

Permalink
Create README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
wenkokke committed Jun 14, 2017
1 parent 1f8952b commit 56ce2b2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
@@ -1,6 +1,6 @@
# CG Turing Machines

[![Build Status](https://travis-ci.org/pepijnkokke/cgtm.svg?branch=master)](https://travis-ci.org/pepijnkokke/cgtm)
[![Build Status](https://travis-ci.org/wenkokke/cgtm.svg?branch=master)](https://travis-ci.org/wenkokke/cgtm)

This is a small library which generates VISL CG-3 code from Turing machine specifications, proving that VISL CG-3<a name="1" href="#ad1"><sup>1</sup></a> is Turing-complete<a name="2" href="#ad2"><sup>2</sup></a>.

Expand Down

0 comments on commit 56ce2b2

Please sign in to comment.