José E. Solsona
José E. Solsona
That's right. I'm currently using DateTimepicker with custom format. But i prefer your plugin.
It would be nice to support this out of the box.
Any progress on this?. I think it would be useful.
It could be because the command you are using is reusing the previously build image, although this is a guess because you didn't mentioned how exactly are you running docker...
@hmol What you mean by "link text"?, the visible part of the link?. I think in that case the return type for `List GetValidUrlListFromMarkup(...)` would be changed to something like...
Ok, i will look into it when i find time.
> Maybe the error message could suggest that an infix declaration is missing. This wouldn't be a difficult contribution, I think. Yeah, the "cannot parse specification" message is of little...
Hello @facundominguez !. Of course: ``` {-# LANGUAGE FlexibleContexts #-} {-@ LIQUID "--extensionality" @-} {-@ LIQUID "--reflection" @-} {-@ LIQUID "--higherorder" @-} {-@ LIQUID "--short-names" @-} module Test where import...
Tested also with ghc-9.2.5 and liquidhaskell-0.9.2.5.0, same result.