YuMingLiao
YuMingLiao
Good question... do we really need an relvar on the left side? (I was trying that if x where true = true leaves x untouched.) I can't think of a...
After doing a bit research on this topic, I would like to leave a heads-up here. Although streamly is faster than list in most of the operations, appendR / foldr...
Sure, I think streamly is promising, too. If I load a big rel var, typing and opening database becomes slow. I believe streamly can be helpful for this one. I...
Yep, I really appreciate this project! Thanks for the hard work. Relational algebra is way easier to understand than sql. And for just saying, I just realized that `assign` a...
> I assume the is no easy way to determine what constraints reference `a`, so that it can be somewhat automated or something. A constraint is a `RelationalExpr` data type....
Hi @agentm I've tried to embed the TutorialD in Haskell. I guess you might want to see it: [ShortCut.hs](https://file.io/Vc7nn3klFoEV) It needs the convertible library. Although it has some drawbacks: {,,,}...
Oops. Okay, I've pulled a request now.
`f "count" [...] for function expressions` is a bad/not-working design. I'll see if I can fix it.
I haven't used [co-log](https://kowainik.github.io/posts/2018-09-25-co-log). Yet it looks powerful. So I'd like to leave a note here. It can log Severity level as you expected. And it says "And it would...
Oops. I misunderstood again. Thanks for the reminder.