| .. |
|
.gitignore
|
Initial commit for sphinx docs
|
2017-08-19 16:38:39 +01:00 |
|
adding_a_new_primitive.rst
|
More docs tweaks
|
2017-12-13 07:24:18 +00:00 |
|
advanced.rst
|
Use four-space indent for results
|
2018-02-04 20:54:15 +00:00 |
|
changelog_concurrency.rst
|
Rewrite concurrency changelog
|
2018-02-15 21:06:54 +00:00 |
|
changelog_dejafu.rst
|
Rewrite dejafu changelog
|
2018-02-16 00:01:24 +00:00 |
|
changelog_hunit-dejafu.rst
|
Rewrite hunit-dejafu changelog
|
2018-02-16 18:38:22 +00:00 |
|
changelog_tasty-dejafu.rst
|
Rewrite tasty-dejafu changelog
|
2018-02-16 18:59:20 +00:00 |
|
conf.py
|
Add misc changes & contributor list to changelog
|
2018-02-18 10:53:51 +00:00 |
|
contributing.rst
|
Merge roadmap and contributing pages & move to website
|
2018-02-04 12:48:36 +00:00 |
|
getting_started.rst
|
Prepare dejafu, hunit-dejafu, and tasty-dejafu release
|
2018-03-06 17:25:49 +00:00 |
|
ghc.rst
|
Add dev docs page on GHC
|
2018-02-12 14:18:21 +00:00 |
|
index.rst
|
Add dev docs page on GHC
|
2018-02-12 14:18:21 +00:00 |
|
Makefile
|
Initial commit for sphinx docs
|
2017-08-19 16:38:39 +01:00 |
|
migration_0x_1x.rst
|
Use Sphinx external links in the website
|
2018-02-01 13:26:35 +00:00 |
|
refinement_testing.rst
|
Clarify =>= and ->- difference
|
2018-02-26 19:49:12 +00:00 |
|
release_process.rst
|
Add a note about checking the year to the release process
|
2018-02-18 14:52:00 +00:00 |
|
typeclass.rst
|
Use Sphinx external links in the website
|
2018-02-01 13:26:35 +00:00 |
|
unit_testing.rst
|
Use Sphinx external links in the website
|
2018-02-01 13:26:35 +00:00 |
