.. |
.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
|
dejafu-1.0.0.2 release
|
2018-02-18 10:56:48 +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
|
Use Sphinx external links in the website
|
2018-02-01 13:26:35 +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 |