Michael Walker 5ee2590f0e Rework docs ... Closes #146 Closes #147 Closes #156		2017-12-12 14:07:22 +00:00
..
.gitignore	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
adding_a_new_primitive.rst	Rework docs	2017-12-12 14:07:22 +00:00
advanced.rst	Rework docs	2017-12-12 14:07:22 +00:00
changelog_concurrency.md	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
changelog_dejafu.md	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
changelog_hunit-dejafu.md	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
changelog_tasty-dejafu.md	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
conf.py	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
contributing.md	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
getting_started.rst	Rework docs	2017-12-12 14:07:22 +00:00
index.rst	Document the release process	2017-09-16 15:42:37 +01:00
Makefile	Initial commit for sphinx docs	2017-08-19 16:38:39 +01:00
refinement_testing.rst	Refinement Testing	2017-08-19 16:38:39 +01:00
release_process.rst	Add some release pro tips	2017-09-26 08:41:54 +01:00
typeclass.rst	Typeclasses	2017-08-19 16:38:39 +01:00
unit_testing.rst	Replace "alwaysTrue2" with "alwaysSameOn" and "alwaysSameBy"	2017-12-12 14:07:22 +00:00