Junyoung/"Clare" Jang
Junyoung/"Clare" Jang
Possibly because you used `rel A B` instead of `A rel B` in the `test/i`? But with that message it is a bug anyway. It should print a better error...
@inigoserna Thx for your info! I will try it! Why don't you send a PR?
But it's useful to have, isn't it?
@inigoserna I mean, it's useful, so there's worth to send a PR with this feature, isn't it?
@titibandit Yeah, if I know correctly, it is introduced 27.1 or so, which comes after this issue. But anyway, thank you for providing the snippet!
I am the original designer. I tried the "fully aligned" version when I designed it, but it looked awful for me because the lambda suppressed L and S. Thus, those...
If we decide to change the logo: I suggest to change L and S to provide more support for the lambda, so that the logo can express that this Language...
@georgefst By that, basically I mean making the top part of L and S wider enough than the bottom part of lambda. One possibility is that I over-widened the top...
@georgefst Not really about the floating leg of lambda. Maybe I should have used "Haskell logo" instead of "lambda character" in the above description. I don't think it as a...
As I said, currently as-is, I am against the merging.