4 Commits

Author	SHA1	Message	Date
rnhmjoj	0e0a8a0d77	Add credit for numeric-peano	2015-06-02 11:34:01 +02:00
Michele Guerini Rocco	2139cd0662	Add docs link	2015-06-02 11:17:01 +02:00
rnhmjoj	ce68fe5d43	Add newlines	2015-06-02 00:25:04 +02:00
rnhmjoj	0953b7d9a1	Add readme	2015-06-02 00:22:01 +02:00