Wawrzyniec Niewodniczanski e5ef9b28b7 Improve Set Up documentation ...

- there seems to be some changes to IntelliJ
- some further clarification

2016-05-18 10:39:47 +01:00

..

build/html

Regen API docs with new Dokka

2016-05-13 12:55:04 +02:00

source

Improve Set Up documentation

2016-05-18 10:39:47 +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