Commit Graph

31 Commits

Author SHA1 Message Date
Aaron Allen
3c238b8722 generate unboxed tuple/sum instances 2022-01-17 21:15:53 -06:00
Aaron Allen
5e164920ba nexus wip2 2022-01-16 17:54:27 -06:00
Aaron Allen
c73930bc1e limited levity polymorphism 2021-12-28 21:29:27 -06:00
Aaron Allen
378a6b7279 fix view pat bug 2021-12-22 17:59:10 -06:00
Aaron Allen
25756cd135 change flag name 2021-12-22 16:38:24 -06:00
Aaron Allen
a5129c42d9 working on readme 2021-12-21 18:11:19 -06:00
Aaron Allen
a75e50bc07 add ci 2021-12-20 01:21:51 -06:00
Aaron Allen
d9e28977bf rename predicates 2021-12-18 02:25:02 -06:00
Aaron Allen
d29a307d88 clear location hash 2021-12-18 01:55:43 -06:00
Aaron Allen
d58924d28d avoid monomorphism issue 2021-12-13 21:58:33 -06:00
Aaron Allen
30e8a1481e fix incompatibility 2021-12-11 20:46:35 -06:00
Aaron Allen
facf241d0b fix NoMonomorphismRestriction issue 2021-12-10 22:15:07 -06:00
Aaron Allen
a0e573bb88 fix srcloc of traces 2021-11-30 17:23:44 -06:00
Aaron Allen
26d873eda7 add src location tooltips 2021-11-29 23:04:04 -06:00
Aaron Allen
d281aa4abc implement navigable html 2021-11-29 20:21:07 -06:00
Aaron Allen
4f1a927fa8 warn about certain optimizations 2021-11-26 00:08:54 -06:00
Aaron Allen
d731848bdc separate build targets 2021-11-25 15:49:18 -06:00
Aaron Allen
32f9f88ede deterministically ordered graph 2021-11-22 21:14:29 -06:00
Aaron Allen
4a6fff5f82 rename 2021-11-21 20:16:06 -06:00
Aaron Allen
3d151865ea use propagation 2021-11-21 19:54:00 -06:00
Aaron Allen
f934635754 add propagation field 2021-11-20 17:54:13 -06:00
Aaron Allen
718d4a0209 apply entry with $ 2021-11-19 23:57:38 -06:00
Aaron Allen
e77ff1903b support 8.10 2021-11-03 22:27:00 -05:00
Aaron Allen
b099e5dd09 improve graph appearance 2021-11-01 22:25:39 -05:00
Aaron Allen
0c6c3625bb colored nodes 2021-10-31 15:18:44 -05:00
Aaron Allen
bf77bb0d5f bind IP in let statements 2021-10-30 23:51:40 -05:00
Aaron Allen
98e6d331ca use state monad to collect visited names 2021-10-27 22:22:22 -05:00
Aaron Allen
81fead0bb1 need to improve where binds 2021-10-25 22:33:02 -05:00
Aaron Allen
290f8678c8 add debug-all option 2021-10-24 22:49:28 -05:00
Aaron Allen
2f7ff1925b type class cleanup 2021-10-24 20:19:59 -05:00
Aaron Allen
cc2c4847b0 default method impls 2021-10-23 17:02:32 -05:00