471 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Dmitry Boulytchev	fe5a93218b	Updated spec	2020-02-23 01:48:49 +03:00
Dmitry Boulytchev	939ca60940	Sync	2020-02-23 01:47:09 +03:00
Dmitry Boulytchev	19f53129e9	Sync	2020-02-23 01:45:52 +03:00
Dmitry Boulytchev	2c85715ae0	Fixed bugs in runtime; added stringInt	2020-02-23 01:36:30 +03:00
Dmitry Boulytchev	e0ad5aa89a	Merge remote-tracking branch 'Lama/1.00' into 1.00	2020-02-20 20:29:57 +03:00
Dmitry Boulytchev	395cb3f090	Makefile, opam	2020-02-20 20:27:21 +03:00
Dmitry Boulytchev	592bd954a9	Spec	2020-02-20 20:26:31 +03:00
Dmitry Boulytchev	7ebbf65bee	Spec	2020-02-20 20:25:29 +03:00
Dmitry Boulytchev	21d7a18981	Merge pull request #19 from Kakadu/1.00 ... Fix version in `opam` and polish `Makefile`	2020-02-20 20:13:06 +03:00
kakadu	a6be13ac7e	Polish Makefile a bit	2020-02-20 19:03:20 +03:00
kakadu	6dc7471587	Opam file updated for right version	2020-02-20 19:03:14 +03:00
Dmitry Boulytchev	6cf2b15d40	Fixed regression Makefile	2020-02-20 13:25:11 +03:00
Dmitry Boulytchev	5933f4c3b1	Cosmetics in stdlib	2020-02-20 12:43:52 +03:00
Dmitry Boulytchev	7fd85f27ef	Cosmetics in spec	2020-02-19 21:21:18 +03:00
Dmitry Boulytchev	23005a8512	Better readme	2020-02-19 20:13:37 +03:00
Dmitry Boulytchev	f46d0f423c	Spec	2020-02-19 20:11:58 +03:00
Dmitry Boulytchev	c01416cc6c	Removing doc	2020-02-19 19:57:21 +03:00
Dmitry Boulytchev	0f8213ae7d	Moved spec	2020-02-19 19:56:47 +03:00
Dmitry Boulytchev	a812851efd	Added missing files	2020-02-19 19:45:44 +03:00
Dmitry Boulytchev	372b66aee8	Added missing files	2020-02-19 17:43:44 +03:00
Dmitry Boulytchev	8521ff30fa	Pre-sources	2020-02-19 17:15:14 +03:00
Dmitry Boulytchev	9140263a3f	Sync	2020-02-19 16:29:29 +03:00
Dmitry Boulytchev	3b94e30eaa	Better readme	2020-02-19 15:30:33 +03:00
Dmitry Boulytchev	f8ce0b2c92	Better tutorial	2020-02-19 15:29:19 +03:00
Dmitry Boulytchev	b0e5bc26e3	Added tutorial	2020-02-19 15:28:29 +03:00
Dmitry Boulytchev	b7271d167a	Better md	2020-02-18 14:08:39 +03:00
Dmitry Boulytchev	5171f20dcc	Better md	2020-02-18 14:07:39 +03:00
Dmitry Boulytchev	bea356772c	Better md	2020-02-18 14:04:25 +03:00
Dmitry Boulytchev	fedc6dd5a5	Better md	2020-02-18 14:03:17 +03:00
Dmitry Boulytchev	ea20e2aa1a	Better md	2020-02-18 14:02:31 +03:00
Dmitry Boulytchev	1c089345eb	Better md	2020-02-18 14:01:14 +03:00
Dmitry Boulytchev	0b9b27770a	Better md	2020-02-18 14:00:13 +03:00
Dmitry Boulytchev	d35e193742	Better md	2020-02-18 13:54:07 +03:00
Dmitry Boulytchev	5afbf7bfd3	Better md	2020-02-18 13:52:49 +03:00
Dmitry Boulytchev	43958ce0e8	Better md	2020-02-18 13:51:35 +03:00
Dmitry Boulytchev	4aee344a4e	Better md	2020-02-18 13:49:38 +03:00
Dmitry Boulytchev	6a47e295f4	Better md	2020-02-18 13:47:33 +03:00
Dmitry Boulytchev	616e0459c9	Better md	2020-02-18 13:42:04 +03:00
Dmitry Boulytchev	89a7b5ffd1	Better md	2020-02-18 13:39:53 +03:00
Dmitry Boulytchev	2dca164af6	Better md	2020-02-18 13:38:13 +03:00
Dmitry Boulytchev	c1b8f5e630	Better AST html dump	2020-02-18 13:28:12 +03:00
Dmitry Boulytchev	a6a72a9313	Spec finished	2020-02-18 03:39:42 +03:00
Dmitry Boulytchev	d021bb40e4	Pre-1.00 branch	2020-02-17 20:00:02 +03:00
Dmitry Boulytchev	2a412f5e04	Fixed test	2020-02-17 10:20:58 +03:00
Dmitry Boulytchev	bd80caf440	Continue spec;	2020-02-17 01:51:52 +03:00
Dmitry Boulytchev	83bd6d7ad8	Paths	2020-02-16 02:02:54 +03:00
Dmitry Boulytchev	3b9fac8e9a	Version	2020-02-16 01:21:27 +03:00
Dmitry Boulytchev	61296c51e7	Massive renaming	2020-02-16 00:21:15 +03:00
Dmitry Boulytchev	241ab0a9ae	Patterns in arguments	2020-02-15 23:50:48 +03:00
Dmitry Boulytchev	f5f7f3ceb8	Eta-extension	2020-02-15 22:58:43 +03:00