Samuel Schlesinger

I checked it out and it seems to have the problem that it doesn't allow for recursive types. I get this from a completeness perspective (exhaustive checking for existence of...

In agreeance with @tonyday567 as well, though I like the idea of being able to write LaTeX in the editor instead of markdown, or in addition to it, if we...

Here is an example of code that would be invalid in postgres but not in squeal: ``` {-# LANGUAGE TypeOperators #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE OverloadedLabels #-} module...

Oh I'm sorry, I just saw this. I'm not sure if I understand what you mean.. Can you elaborate?

Ah, now I understand. If you have a particular idea in mind, please feel free to PR it, otherwise I'll get to it sometime.

Agreed.

I totally agree with this.

I'm quite interested in doing so but I sincerely feel confused about how to proceed. It seems as if compatibility with the standard Prelude essentially nails you to having completely...

So we would have something like the following: ``` Haskell class Associative m where (+) :: m -> m -> m associates :: pi (x :: m) (y :: m)...

I'm down to put something like that for sure, I've been using Python for my work because I simply can't access the sorts of analyses I need in Haskell land...