Andrius Dagys 3674a547d5 Minor: Fix typos in documentation

2016-04-04 13:48:13 +01:00

..

build/html

Regen docsite

2016-03-21 16:54:20 +00:00

source

Minor: Fix typos in documentation

2016-04-04 13:48:13 +01:00

Makefile

Introduce documentation of the current prototype with a contract programming tutorial (incomplete), using the Sphinx docs engine.

2015-11-25 18:01:37 +01:00