Joshua Auerbach

Support SQL dates in coq code

1

The SQLDate foreign type lacks an ocaml implementation, so our evaluators written coq generally choke on anything that contains the type. Ideally, there would be a true implementation in ocaml....

SQL++ to NRAEnv Translation

8

This is a sub-issue of issue #10. I am using it to record semantic issues that come up in writing the `sqlpp_to_nraenv_top` function and its subfunctions.

We have noted that table names or column names in mixed case cause queries generated from SQL to fail. This is a combination of two things. First, our code always...

This PR adds support (still hidden) for a possible future release of `doctl serverless` that includes support for scheduled functions. At the moment, this change should _not_ be merged (I...

### Describe the feature The cron syntax is very powerful but a common idiom in event scheduling is an event that fires at regular intervals. Suppose you want events that...