Veit Heller hellerve
0 Followers · 0 Following
Repositories
51
 Projects Packages Public Activity Starred Repositories
hellerve pushed to master at carpentry/path 2021-01-19 09:56:13 +00:00
4bf3e1c7c1 fix for new carp
hellerve pushed to master at carpentry/infix 2021-01-19 09:50:21 +00:00
eafb9a57a6 fix list case
hellerve pushed to master at pl/_ 2020-11-19 22:11:48 +00:00
6632a02bf4 clean it up
hellerve pushed to master at hellerve/dotfiles 2020-11-07 13:40:33 +00:00
24ce7e1206 update carp saving
hellerve pushed to master at carpentry/gt4carp 2020-10-05 21:04:27 +00:00
be59171ebe scripture
bb23921ea8 et facta est lux
hellerve created repository carpentry/gt4carp 2020-10-05 21:04:11 +00:00
hellerve created repository carpentry/pond-gt 2020-10-05 18:29:06 +00:00
hellerve pushed to master at hellerve/at-large 2020-09-28 10:28:23 +00:00
c883f55cc5 update address
hellerve pushed to master at hellerve/at-large 2020-09-28 10:26:59 +00:00
11a0121c49 Merge branch 'master' of https://veitheller.de/git/hellerve/at-large into master
fdf710dcb6 definition: add consultant, because why not
Compare 2 commits »
hellerve pushed to master at degrowth/cfg 2020-09-27 16:50:40 +00:00
67e8524b40 array: allow omitting space after array dash when linebreak follows
hellerve pushed tag 0.0.4 to carpentry/sqlite3 2020-06-22 11:08:22 +00:00
hellerve pushed to master at carpentry/sqlite3 2020-06-22 11:08:12 +00:00
a689c3ec85 version bump
hellerve pushed to master at carpentry/sqlite3 2020-06-22 11:06:05 +00:00
f99c5dc329 Merge pull request #1 from TimDeve/update-to-latest-carp
f037790d07 Updates the docs so that the example work straight away
8818ec83ab Changes Char to CChar & adds implements interfaces
Compare 3 commits »
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