(that’s my way of saying I want to close those issues with one click down the road):upside_down_face:

I would just figure out a general way to compose two “do what I mean” systems, then apply that solution here.

:stuck_out_tongue:

M-x close-gh-issues-dwim RET :nerd_face:

I’m more optimistic about gradual typing I mean gradually enabling typechecking match

@samth I have. I’ve considered a few different options. Not sure I’m 100% happy with any of them. (But who could be happy with civil time?)

@joel Yep, absolutely. I just realized that I haven’t ever pushed any of my datetime-lib code — which is meant to be a successor to gregor, but I rarely find the motivation to work on it — to github. The repo is there, but it’s basically empty. Anyhow, that has a: [date->datetime (->* (date?) (time?) datetime)] … where the time? defaults to midnight if not provided.

A lot of the stuff already implemented in datetime-lib could easily be ported to gregor , including this function.

Sounds great!