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 |
|