I just learned about extended DCGs in Prolog and they are very cool. I even mostly avoided comparing then to monads 😬 https://occasionallycogent.com/prolog_edcgs/index.html
Why is this step necessary? mastodon.social might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here