|
|
cf3fe66f73
|
types & free reduce
|
2025-04-11 04:03:09 -05:00 |
|
|
|
853601f2c5
|
wip types
|
2025-04-11 00:36:41 -05:00 |
|
|
|
1e09ca655f
|
wip interfaces
|
2025-04-10 04:37:45 -05:00 |
|
|
|
38343d7ec0
|
split monad law tests, add setoid to Option and Result
|
2025-04-09 23:17:38 -05:00 |
|
|
|
48a3670172
|
fix tests
|
2025-04-09 23:00:21 -05:00 |
|
|
|
35aa1c6ae9
|
move interfaces to their own file
|
2025-04-09 22:22:44 -05:00 |
|
|
|
96cc50ad34
|
move functions to own library
|
2025-04-09 02:18:49 -05:00 |
|
|
|
f79a2ca462
|
free refactor
|
2025-04-07 23:05:39 -05:00 |
|
|
|
55be1efee1
|
io wip
|
2025-04-07 03:03:40 -05:00 |
|
|
|
50f3cff3d9
|
List.count
|
2025-04-07 02:30:49 -05:00 |
|
|
|
b2d5ece8f0
|
reader fixes
|
2025-04-06 20:34:12 -05:00 |
|
|
|
1fec16c29c
|
add reader
|
2025-04-06 18:23:53 -05:00 |
|
|
|
6e2f725e7a
|
finished list
|
2025-04-06 15:52:57 -05:00 |
|
|
|
0336213ca9
|
wip cons list
|
2025-04-06 12:50:31 -05:00 |
|
|
|
e213666051
|
allow default interface impl
|
2025-04-05 22:50:38 -05:00 |
|
|
|
699a8e6a7c
|
:3c
|
2025-04-05 22:39:39 -05:00 |
|
|
|
d2051d9086
|
removed unused type from union
|
2025-04-03 16:53:55 -05:00 |
|
|
|
272ffd6c58
|
add disjoint union type
|
2025-04-03 16:53:17 -05:00 |
|
|
|
5726e0d9c3
|
add documentation for each method
|
2025-03-31 20:45:26 -05:00 |
|
|
|
c2b63ff779
|
fix Construct<T>, add bimap to result
|
2025-03-31 13:37:15 -05:00 |
|
|
|
34ad493fc5
|
oops remove testing stuff
|
2025-03-31 07:54:07 -05:00 |
|
|
|
9dc971fbf6
|
add annotation to undocumnted inner fn of curry
|
2025-03-31 07:36:23 -05:00 |
|
|
|
1884f59229
|
fix typo in curry type
|
2025-03-31 07:30:46 -05:00 |
|
|
|
448dcf7856
|
doc cleanup; export curry
|
2025-03-31 05:22:59 -05:00 |
|
|
|
0d29eb50d2
|
crimes!
|
2025-03-31 05:16:22 -05:00 |
|
|
|
a18a759db4
|
refactor
|
2025-03-31 05:10:46 -05:00 |
|
|
|
c951b97dc9
|
update monad/constantmonad definitions
|
2025-03-29 06:37:34 -05:00 |
|
|
|
a2e4231b06
|
rename lift to of
|
2025-03-29 06:32:39 -05:00 |
|
|
|
1402219aad
|
overhaul monad impls
|
2025-03-29 06:09:49 -05:00 |
|
|
|
8d525d5392
|
initial commit
|
2025-03-26 21:28:33 -05:00 |
|
