123 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Danel Ahman	95ddb0f340	Ensuring creation of ghc.environment	2019-12-06 15:43:53 +01:00
Danel Ahman	543462ec16	Link to the draft	2019-10-28 04:55:21 +01:00
Danel Ahman	c5e3d33337	Link to the draft	2019-10-28 04:54:35 +01:00
Danel Ahman	951d778e8d	Links in readme	2019-10-25 11:28:22 +02:00
Danel Ahman	afd49b9ed2	Example of a runner for instrumenting user code with a simple cost model	2019-10-24 17:47:52 +02:00
Danel Ahman	182b5e1d4e	Example of a runner for instrumenting user code with a simple cost model	2019-10-24 17:47:35 +02:00
Danel Ahman	32f8029245	Unneeded import	2019-10-24 16:57:20 +02:00
Danel Ahman	b58ed9efb7	Documentation	2019-10-24 08:21:26 +02:00
Danel Ahman	61944e53a8	More liberal typing for performU and performK	2019-10-24 08:15:30 +02:00
Danel Ahman	3c5ec5364c	More liberal typing for performU and performK	2019-10-24 08:11:57 +02:00
Danel Ahman	15072d1c5b	Redundant file	2019-10-23 11:53:26 +02:00
Danel Ahman	3a1d34b041	Matching the monotonic state example up with the paper	2019-10-23 11:50:14 +02:00
Danel Ahman	08d41e55e7	Shorter definitions of generic effects	2019-10-23 11:26:31 +02:00
Danel Ahman	70a8999e5e	Cabal conf	2019-10-23 00:13:11 +02:00
Danel Ahman	68df096fa5	Decidable equality of references	2019-10-23 00:08:17 +02:00
Danel Ahman	200a1e9873	Decidable equality of references	2019-10-22 23:57:18 +02:00
Danel Ahman	91b0db162d	Documentation	2019-10-22 20:27:59 +02:00
Danel Ahman	d979dad14f	Documentation	2019-10-22 20:03:41 +02:00
Danel Ahman	47a0a7919b	Document	2019-10-22 19:43:56 +02:00
Danel Ahman	70cecfa58b	No changelog for time being	2019-10-22 18:28:16 +02:00
Danel Ahman	6bbeae8730	Cabal conf	2019-10-22 18:28:03 +02:00
Danel Ahman	36a17cce05	Documentation	2019-10-22 18:26:44 +02:00
Danel Ahman	e1abd00e2b	Documentation	2019-10-22 18:22:36 +02:00
Danel Ahman	6daa7fca65	Documentation	2019-10-22 17:40:15 +02:00
Danel Ahman	1f18611bcd	Documentation	2019-10-22 14:59:52 +02:00
Danel Ahman	a67e7b0f19	Documentation	2019-10-22 14:41:52 +02:00
Danel Ahman	cf9c6f8462	Documentation	2019-10-22 14:06:42 +02:00
Danel Ahman	bae374fb91	Documentation	2019-10-22 13:33:36 +02:00
Danel Ahman	951308ff6c	Documentation	2019-10-22 13:27:44 +02:00
Danel Ahman	0b28055878	Documentation	2019-10-22 13:04:08 +02:00
Danel Ahman	97e8ac2c26	Documentation	2019-10-22 12:02:55 +02:00
Danel Ahman	d7911e0627	Documentation	2019-10-22 11:45:35 +02:00
Danel Ahman	c98231a8e3	Documentation	2019-10-22 11:28:01 +02:00
Danel Ahman	f99682d50e	Documentation	2019-10-22 10:58:17 +02:00
Danel Ahman	94b002732c	Documentation	2019-10-22 10:53:21 +02:00
Danel Ahman	22bae28396	Documentation	2019-10-22 10:19:33 +02:00
Danel Ahman	4951f8fcaa	Restructuring the ambients example	2019-10-22 10:08:28 +02:00
Danel Ahman	78671feaab	Documentation	2019-10-21 21:32:59 +02:00
Danel Ahman	501be255d7	Visibility of some types	2019-10-21 21:30:02 +02:00
Danel Ahman	ab18fbbb78	Documentation	2019-10-21 21:24:13 +02:00
Danel Ahman	4a8d4a9e02	Documentation	2019-10-21 20:58:43 +02:00
Danel Ahman	c359891d04	Documentation	2019-10-21 11:55:58 +02:00
Danel Ahman	6a8423bb6f	Readme	2019-10-21 11:07:18 +02:00
Danel Ahman	79ddb50552	Acknowledgements	2019-10-21 11:05:51 +02:00
Danel Ahman	d1fd639cd4	Acknowledgements	2019-10-21 10:59:15 +02:00
Danel Ahman	23201e23fe	Typos	2019-10-20 17:17:55 +02:00
Danel Ahman	c520d246f6	Documentation and tweaking visitbility of types and functions	2019-10-20 14:54:09 +02:00
Danel Ahman	477a100b04	Documentation	2019-10-20 14:36:23 +02:00
Danel Ahman	860c19ccf0	Documentation	2019-10-20 14:25:05 +02:00
Danel Ahman	e759b944e6	Cleanup	2019-10-20 14:01:34 +02:00