Veit Heller hellerve
0 Followers · 0 Following
Repositories
51
 Projects Packages Public Activity Starred Repositories
hellerve pushed to master at hellerve/dotfiles 2020-06-08 10:10:39 +00:00
9dcf1075de vim: simplify; zsh: remove simplify emptytrash; gitconfig: add pull
hellerve pushed to master at playgrounds/agda-doodles 2020-06-05 17:01:46 +00:00
075535ec7e done with induction
hellerve pushed to master at playgrounds/agda-doodles 2020-06-05 07:18:21 +00:00
d425272d94 reorganize and add plfa
hellerve pushed to master at carpentry/redis 2020-05-10 10:00:40 +00:00
2074e75ee4 fix for new carp
hellerve pushed to master at carpentry/path 2020-05-09 20:06:28 +00:00
2d62dee4d0 docs: fix links between absolute? and relative?
hellerve pushed to master at carpentry/path 2020-05-05 12:33:50 +00:00
3eb542bdfd simplify tests
hellerve pushed to master at carpentry/path 2020-05-05 11:58:11 +00:00
5b87d0bf9a fix tests for new version of carp
hellerve pushed to master at carpentry/infix 2020-05-05 11:56:29 +00:00
9787870aa7 update for new carp
hellerve pushed tag 0.0.3 to carpentry/inline-c 2020-05-05 11:36:43 +00:00
hellerve pushed to master at carpentry/inline-c 2020-05-05 11:36:30 +00:00
4942896241 version bump
hellerve pushed to master at carpentry/inline-c 2020-05-05 11:35:35 +00:00
a263017504 update for new carp
hellerve pushed to master at degrowth/cfg 2020-04-26 16:12:55 +00:00
a13a8cfa8c core: add single space where it is due
hellerve pushed to master at carpentry/redis 2020-04-21 08:49:36 +00:00
6b464c9d91 redis: update for new carp
hellerve pushed tag 0.0.2 to carpentry/inline-c 2020-04-21 08:35:35 +00:00
hellerve pushed to master at carpentry/inline-c 2020-04-21 08:35:29 +00:00
75e98123df published new version
hellerve pushed to master at carpentry/inline-c 2020-04-21 08:34:56 +00:00
346c7190ec update to new carp
hellerve transferred repository hellerve/agda-doodles to playgrounds/agda-doodles 2020-04-04 15:47:30 +00:00
hellerve transferred repository hellerve/t to degrowth/t 2020-04-04 15:47:11 +00:00
hellerve transferred repository hellerve/d to degrowth/d 2020-04-04 15:45:53 +00:00
hellerve transferred repository hellerve/r to degrowth/r 2020-04-04 15:45:39 +00:00