Kristian Lundström

Hi @aarroyoc and @triska ! I'm on also on a road of learning prolog with advent of code =) Would love any feedback on my solutions as well https://github.com/Mousaka/advent-of-code-2020. Btw...

Thanks for clarifying! I see how that could speed things up. Monotonicity and things like using `if_/3` is something I have struggled with a bit but I am somewhat striving...

@triska Regarding the "pure monotonic core of Prolog": I was just reading about [Datalog](https://en.wikipedia.org/wiki/Datalog) > Unlike in Prolog, statements of a Datalog program can be stated in any order. Furthermore,...

@uriklagnes You might find this interesting if you are using or can use a gorilla/mux Router. There is this setting available for it: [UseEncodedPath](http://www.gorillatoolkit.org/pkg/mux#Router.UseEncodedPath) ``` UseEncodedPath tells the router to...

In the documentation there is [this function](https://package.elm-lang.org/packages/rgrempel/elm-route-url/4.0.0/RouteUrl#NavigationAppWithFlags) for creating an app that gets `Location` in the `init` but this app does not have the `delta2url` function which we still need....

Having the same problem with Swedish characters "åäöÅÄÖ". Tried adding the extra argument `need_appearances` but that did not help https://www.pdflabs.com/docs/pdftk-man-page/#dest-output-need-appearances =(

> Thanks for the help. > > I've published the library to fail on additional properties as an additional package. @Mousaka [Take a look](https://github.com/goooseman/io-ts-excess) Nice!

Got something similar =( ``` #16 1.084 Restore completed in 33.44 ms for /app/src/InsuranceCase/InsuranceCase.fsproj. #16 1.251 /usr/share/dotnet/sdk/3.1.201/Sdks/Microsoft.NET.Sdk/targets/Microsoft.PackageDependencyResolution.targets(234,5): error NETSDK1064: Package Fable.Core, version 3.0.0 was not found. It might have been...

That worked!! Such a weird problem though... Some of my colleagues did not need to change from 3.1-alpine to 3.1.100-alpine but at least 2 of them get the same problem....

Running ``` docker-compose up --force-recreate --build -d my-service ``` made it start working again for me. I'm not sure what the corresponding docker-command is.