Skip to main content
Vi and Vim
Wolfgang Jeltsch's user avatar
Wolfgang Jeltsch's user avatar
Wolfgang Jeltsch's user avatar
Wolfgang Jeltsch
  • Member for 8 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
355
reputation
14k
reached
1
answer
3
questions
Communities
View all
About

I’m passionate about functional programming, logic, type theory, category theory, and more.

Badges
View all badges
1
gold badge
2
silver badges
11
bronze badges
Top tags
4
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
17
How can I make highlighting commands in .vimrc take effect immediately with Vim 7.4?
Oct 25, 2016
answer
4
Why does the unnamed register only contain the last deleted text when appending deleted text to a register?
Apr 11, 2017
question
3
Why does the unnamed register only contain the last deleted text when appending deleted text to a register?
Mar 23, 2017
question
1
What are the correct autocommand events for various settings?
Feb 4, 2017
Top Meta posts
1
0
3
What should I do if my question actually revealed a bug?
Top network posts
View all network posts
29
Shorthand way for assigning a single field in a record, while copying the rest of the fields?
23
Why choose LuaLaTeX over XeLaTeX?
18
How can I share my screen with Skype for Linux 5.3?
9
Pushouts in the category of adjunctions
9
Models of intuitionistic linear logic that reflect the resource interpretation