Matus Goljer

Indentation of a block nested in a function call chain

3

This is maybe not so much an issue or a bug report as a request for help. Currently when we nest function calls and then put a block inside, for...

I think rolling our own is not the correct way to integrate with the rest of Emacs. There are packages out there to manage window layout (such as the amazing...

WIP: feat(xact): add default time when copying transaction

2

Use the transaction's time as default time when asking when the copy should be created. This allows us to use the relative syntax of org-read-date to move the transaction an...

Propagate narrow-types on all special forms

1

Alternatively we can find some other method of passing these up in the "call tree" because the current methodology means every extension also has to do this "manually", same as...

https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates

For example, something like a list which is always a sequence of symbol and an int could be `(repeat symbol int)`. This would typecheck `(a 1 b 2)` but not...

- [x] Regular plist `(:foo a :bar b)` - [ ] Add support for reading the `&keys` syntax from cl-defun - [ ] As a "key" argument to functions, for...

This is like the `x as unknown as whatever` construct in Typescript. Sometimes, we want to say that a form is a certain type no matter the type checks. See...

If I have a higher-level function `foo` with type `(Bool -> Int) -> Int` implemented as ``` (foo (lambda (x) 1)) ``` it should derive that `x` must be of...