README.md in hilbert-0.0.2700210 vs README.md in hilbert-0.0.2700300

- old
+ new

@@ -1,14 +1,14 @@ # Hilbert [![Gem Version](https://badge.fury.io/rb/hilbert.svg)](http://badge.fury.io/rb/hilbert) [![Build Status](https://travis-ci.org/gogotanaka/Hilbert.svg?branch=master)](https://travis-ci.org/gogotanaka/Hilbert) [![Coverage Status](https://coveralls.io/repos/gogotanaka/Hilbert/badge.png?branch=master)](https://coveralls.io/r/gogotanaka/Hilbert?branch=master) [![Code Climate](https://codeclimate.com/github/gogotanaka/Hilbert/badges/gpa.svg)](https://codeclimate.com/github/gogotanaka/Hilbert) [![Dependency Status](https://gemnasium.com/gogotanaka/Hilbert.svg)](https://gemnasium.com/gogotanaka/Hilbert) -## Do you know the one best language in this world? +### Do you know the one best language in this world? -#### I believe mathematics(logic) is absolutely that one. +#### I believe mathematics (logic) is absolutely that language. -## How can we deal something as great as mathematics in a discrete world? +### How can we deal something as great as mathematics in a discrete world? #### Hilbert is the answer. Hilbert lets you have a sense of mathematics using a keyboard, the same as you would with a pen. @@ -20,25 +20,23 @@ +--------------------+ +------------------------+ ``` ## Demo -The code below is input and output for the Hilbert interpreter +The code below is input and output for the Hilbert interpreter. (You can try it with `hilbert -i`.) -(you can try it by `hilbert -i`) - ### Logic ```coffeescript P -> Q Q -> R (P -> R)? => TRUE P | Q # P or Q ~P # not P -Q? # Q is TURE? -=> TURE +Q? # Q is TRUE? +=> TRUE ``` ### Differentiate ``` @@ -107,14 +105,16 @@ ``` ## How to use -Install hilbert gem. +Install the `hilbert` gem. $ gem install hilbert +Note to OS X Users: If the above `gem` command does not work with the stock version of Ruby (due to not being able to build a target indicated in the Makefile), then you will need to install a version of Ruby that includes the appropriate header files. Using [homebrew](http://brew.sh/) (`brew install ruby`) will suffice. + ## Interpreter $ hilbert -i Enjoy! -> @@ -166,8 +166,8 @@ end ``` ## Contributing -Any PRs or issues are welcome. (Please make to `develop` branch) +Any PRs or issues are welcome. (Please make them to [the `develop` branch](https://github.com/gogotanaka/Hilbert/tree/develop).) -You can become a commiter, even if you only commit once. +You can become a committer, even if you only commit once.