21 commits

Author	SHA1	Message	Date
Drup	19b7f6a443	Dat tagline.	2019-03-08 18:08:41 +00:00
Drup	3f631a1495	Compare with Seq instead of Gen.	2019-03-08 18:41:47 +01:00
Drup	04b8f554d4	Misc changes.	2019-03-08 18:27:23 +01:00
Drup	fd8ae7559e	Iterification.	2019-03-08 16:40:19 +00:00
Simon Cruanes	843103a6d2	doc: remove useless abbreviation in the readme	2019-03-07 11:15:21 -06:00
Simon Cruanes	f447b39e4e	test: use mdx to test the readme	2019-02-14 13:47:45 -06:00
Simon Cruanes	2da8da173d	chore: repair links since repo is still named sequence	2019-01-29 12:46:38 -06:00
Simon Cruanes	dc4ebbc7ad	doc: remove spurious line	2018-12-13 19:09:57 -06:00
Simon Cruanes	5cfc83ddde	doc: migrate readme back to markdown	2018-12-13 18:58:06 -06:00
Simon Cruanes	e2bd8fa4f7	update readme: convert into asciidoc, add tutorial	2016-12-25 21:32:28 +01:00
Simon Cruanes	5ad86a8b04	update readme with a link to slides	2016-03-07 15:55:49 +01:00
Simon Cruanes	0c474eec3b	update readme	2014-07-09 10:24:54 +02:00
Simon Cruanes	1a6129fc36	push documentation to private server	2013-05-28 14:02:55 +02:00
Simon Cruanes	dcd5b2fa44	fix typo in readme	2013-05-27 15:00:46 +02:00
Simon Cruanes	ec8a865500	basic building blocks for testing	2013-03-08 16:18:52 +01:00
Simon Cruanes	8f9722b139	updated readme	2013-02-27 22:02:33 +01:00
Simon Cruanes	d0c858ab9d	update of README; ... in Makefile, only build tests if required, because it requires ocaml4	2013-02-11 11:52:54 +01:00
Simon Cruanes	ac2fb8129c	export, install and describe the S-expr module	2013-02-05 00:00:44 +01:00
Simon Cruanes	b4ea152014	update makefile	2013-01-28 00:21:46 +01:00
Simon Cruanes	2113359195	Add README and license	2013-01-27 23:45:30 +01:00
Simon Cruanes	7c8e4fca24	Initial commit	2013-01-27 14:38:43 -08:00