Joel Burget
Joel Burget
Currently thinking something like this: ``` position := {line: int; col: int} range := {begin: position; end: position} // A source location is either in the implementation of LVCA itself...
Should functions be applied to multiple arguments simultaneously? GHC core only allows a single arg. Mitchell's thesis and GRIN allow multiple args. Should let-bindings be added as terms? All three...
Thanks for the suggestion, I'd be happy to contribute a plugin that would work for me. Two questions though. 1. How would this be configured? Adding CI for my project...
Documentation of functions / datatypes is not the problem for me. What I need is one or two simple examples for each project of how it's intended to be used.
I should add that I'd be happy to contribute this if we settle on a design that you're happy with.
That's exactly right. I'm happy with the surrounding mui-tiptap stuff, so I only care about the editor content.
By the way, this is more of an RFC than a serious pull request. Curious whether there's interest in something like this in the language.
It looks like Compatibility Checks (3.9) failed because of incompatible numpy versions.
Hey @jonasrohw, thanks for looping me in. Your code looks much more complete than mine, so I want to make sure I understand the bit that you're suggesting we merge...
Thanks @jonasrohw. I opened https://github.com/jonasrohw/TransformerLens/pull/1. I still need to finish the one TODO and do testing but I can hopefully finish this weekend.