Julian Berman
Julian Berman
I haven't looked at this carefully but two things: * Support specifically for the OpenAPI spec is/was planned for but not implemented yet, so it's possible the answer here depends...
(This is obviously a really good idea -- I want/wanted at some point soon to have Bowtie collect and compare error messages from implementations, so definitely keen to see where...
See the output from `#help command` for a particularly egregious example, as it's a full document.
Though not quite as I wrote it out here X years ago (wow, years!) -- @jcommelin pointed out that VSCode has this! At least in Lean 4. Somehow I've never...
Hi all! Thanks for your interest, glad to hear some are excited! Here's a **qualification task** for this idea: Review the Hypothesis normalizer that I linked and document as many...
The easiest is probably if you respond with a gist or repository I suppose yep!
Either is fine! If you shared a link with me already you can just put the link there yeah, no need to repeat what you found (but if not putting...
Ah perfect! I'll be looking out for any ways to pitch in if you're looking for any help then!
Another different path to think about I think is integrating with the workspace -- e..g maybe it'd be nice to have a Loogle searcher where it helps you assemble your...
I forgot to respond here and say yes this looks definitely right to me!! Thanks again.