Formality | A modern proof language | Functional Programming library

Well, the query in the derived table f is invalid. payments.amount either has to be in the GROUP BY clause or passed to an aggregation function. Older MySQL or badly configured versions of MySQL do allow that rule to broken without further warning. But it might produce funny and maybe not even reproducible results.

I am not sure if you can achieve this. But you can add an Approval step to your workflow so that the whole jobs won't run if you don't approve. Also you can cancel these jobs anytime. Approval Workflow

Im not sure about Stanford CoreNLP, but if you're considering this an option, you could make your own tagger and use modifiers at pos tagging. Then, use this as a translation feature.

In other words, instead of just tagging a word to be a verb, you could tag it "a verb in the infinitive second person".

There are already good pre-tagged corpora out there for spanish that can help you do exactly that. For example, if you look at Universal Dependencies Ankora Corpus, you can find that there are annotations referring to the Person of a verb.

With a little tweaking, you could make a compose PoS that takes in "Verb-1st-Person" or something like that and train a Tagger.

I've made an article about how to do it in Python, but I bet that you can do it in Java using Weka. You can read the article here.

After this, I guess that the next step is that you ensure to match the person of one "translation unit" to the other, or make something in a pipeline fashion.

Because your type for this field is text which means ES will do full-text search analysis on this field. And ES search process is kind of finding results most similar to the word you have given.
To accurately search word "form", change your search method to match_phrase
Furthermore, you could also read articles below to learn more about different ES search methods: https://www.cnblogs.com/yjf512/p/4897294.html https://www.elastic.co/guide/en/elasticsearch/reference/current/query-dsl-match-query-phrase.html

you can replace the foreach with a LINQ query

Good question. This has bothered me quite a while too. There are two things here - you don't care about the actual runtime type of the elements within the array, like the example that you have shown:

After a couple of days, I've finally figured this out

The issue does not lie with the font. If it did, I would see a glyph fail to load (e.g. - a box or a question mark would appear in place of the unicode character)

Instead what I'm seeing is several incorrect glyphs appear in place of the desired unicode character. This indicates an encoding issue, not a font issue. WkHTMLtoPDF is interpreting the 3-byte unicode character as 3 individual 1-byte ASCII characters

The problem is that my browser has a default encoding of UTF-8, but WkHTMLtoPDF does not (at least not in version 0.12.3). The fix was simple: update my config file

It is a family trait of HTML, XML, and SGML that they all need to be nested inside a root element. It's just part of the data standard and lets the interpreter know where to start and stop, and verifies that the document is complete and well-formed.

specifies the type of document. In that case it means that it is HTML 5 currently, as opposed to XML or XHTML 1.0 transitional, as examples. Keep in mind that if you are downloading these as byte streams you may not always know the file type.