dependabot[bot] c3d3dd1e27 Bump certifi from 2015.11.20.1 to 2022.12.7 in /doc ... Bumps [certifi](https://github.com/certifi/python-certifi) from 2015.11.20.1 to 2022.12.7. - [Release notes](https://github.com/certifi/python-certifi/releases) - [Commits](https://github.com/certifi/python-certifi/compare/2015.11.20.1...2022.12.07) --- updated-dependencies: - dependency-name: certifi dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>		2022-12-07 23:30:03 +00:00
..
posts	docs	2016-07-18 16:12:21 -03:00
conf.py	initial commit	2016-04-22 13:00:23 +02:00
doc.cabal	More predicates, blog post	2016-05-01 14:29:47 +02:00
index.rst	initial commit	2016-04-22 13:00:23 +02:00
LICENSE	initial commit	2016-04-22 13:00:23 +02:00
Main.hs	Fix overlapping issues and improve tutorial.	2016-04-22 17:25:35 +02:00
Makefile	initial commit	2016-04-22 13:00:23 +02:00
requirements.txt	Bump certifi from 2015.11.20.1 to 2022.12.7 in /doc	2022-12-07 23:30:03 +00:00
ServersEqual.lhs	Fix overlapping issues and improve tutorial.	2016-04-22 17:25:35 +02:00
Setup.hs	initial commit	2016-04-22 13:00:23 +02:00