494 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Chris Done	efcf93f3fe	Add holes	2019-11-15 16:47:07 +01:00
Chris Done	0a4ba70b3a	Update README	2019-11-15 16:44:50 +01:00
Chris Done	09eb397090	Add concise runner	2019-11-15 16:38:40 +01:00
Chris Done	a8c3bab394	Fixed fac	2019-11-15 16:38:24 +01:00
Chris Done	6f23223717	Fix arg	2019-11-15 16:32:21 +01:00
Chris Done	9b776ff39b	Add integers	2019-11-15 16:24:28 +01:00
Chris Done	20a76acf0f	Remove type from exe	2019-11-15 16:17:36 +01:00
Chris Done	db1526c88a	Rename .duet examples to .hs	2019-11-15 16:15:35 +01:00
Chris Done	40eac4b3f0	Add exe	2019-11-15 16:08:02 +01:00
Chris Done	3618877a30	Add another test suite item	2019-11-15 15:54:47 +01:00
Chris Done	0a45439bbf	Test suite	2019-11-15 15:53:47 +01:00
Chris Done	ab1096685d	Fix warnings	2019-11-15 15:05:52 +01:00
Chris Done	1bc118be1b	Remove ghcjs stuff	2019-01-26 23:03:47 +00:00
Chris Done	eac73755e5	Add warning emoji	2018-05-24 12:33:20 +01:00
Chris Done	4c37a2914b	Add disclaimer	2018-05-24 12:32:08 +01:00
Chris Done	d58e49f6b7	Add Epsilon	2018-05-24 12:29:48 +01:00
Chris Done	bda506c8e6	Test recording works	2018-04-24 08:56:35 +01:00
Chris Done	d9cd067f32	Make build work and test suite pass	2018-04-24 08:44:23 +01:00
Chris Done	50b6446b96	Highlight nodes	2017-12-18 16:54:21 +00:00
Chris Done	a7c0306394	Add Label to scope exception	2017-12-18 16:21:35 +00:00
Chris Done	f0c34347d0	Make Infer take Label concrete type	2017-12-18 16:09:59 +00:00
Chris Done	c8aa9a29ff	Add label to explicit binding id	2017-12-18 15:49:34 +00:00
Chris Done	3f6402c40a	Add label to explicit bindings	2017-12-18 15:26:45 +00:00
Chris Done	75ff510413	Fix spacing	2017-12-18 14:21:28 +00:00
Chris Done	ff7119729c	Upload	2017-12-18 13:31:53 +00:00
Chris Done	477e5d103f	Implement dependencyAnalysis	2017-12-18 11:10:56 +00:00
Chris Done	f9317b857c	Fix warnings	2017-12-18 11:09:02 +00:00
Chris Done	f8cd1ad7be	WIP: Dependency analysis	2017-12-17 17:50:02 +00:00
Chris Done	44e699c198	Setup typeCheckModule for grouping	2017-12-17 16:51:57 +00:00
Chris Done	96953b36ae	Remove unused class contexts	2017-12-17 16:42:27 +00:00
Chris Done	fad756856f	grammar	2017-12-17 13:38:33 +00:00
Chris Done	47fc5e467e	Fix test suite	2017-12-17 13:35:42 +00:00
Chris Done	72a24d13ab	Update test suite	2017-12-17 13:24:55 +00:00
Chris Done	9c5f3da5b0	Fix html	2017-12-17 12:49:48 +00:00
Chris Done	24defc94d7	Add type checking message	2017-12-17 12:49:06 +00:00
Chris Done	077dc63ded	Display type error in console	2017-12-16 21:52:14 +00:00
Chris Done	da797b7172	Type check expression every change	2017-12-16 21:45:51 +00:00
Chris Done	49a0521097	Put expression rm	2017-12-16 18:54:51 +00:00
Chris Done	7709b7e3e7	Space out statements	2017-12-16 18:20:31 +00:00
Chris Done	69a9b35687	Fix class	2017-12-16 18:18:15 +00:00
Chris Done	be99e22329	Delete bindings	2017-12-16 18:16:59 +00:00
Chris Done	58377854e8	Space out parens	2017-12-13 10:19:49 +00:00
Chris Done	957139af84	Switch to transformNode	2017-12-13 10:00:59 +00:00
Chris Done	cbdd774ada	Making new declarations	2017-12-13 09:57:59 +00:00
Chris Done	1c50d6403f	Fix arg completion bug	2017-12-13 09:41:15 +00:00
Chris Done	01b931d84e	Fix navigation issue after focusing	2017-12-11 11:45:48 +00:00
Chris Done	a9ccbdfdf9	Deleting arguments	2017-12-11 11:24:13 +00:00
Chris Done	f3ce978369	Stop lambdas accepting non-variable patterns	2017-12-11 11:09:45 +00:00
Chris Done	211d54e6ad	Support adding more arguments to lambdas	2017-12-11 10:40:01 +00:00
Chris Done	dc95510f73	Space out patterns	2017-12-11 10:36:23 +00:00