hellerve
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign upPinned
990 contributions in the last year
Activity overview
Contribution activity
December 2020
Created 7 commits in 4 repositories
Created a pull request in carp-lang/Carp that received 4 comments
Allow for repository files to be loaded selectively in load
This PR extends load by allowing a second argument to selectively load a specific file from a repository, instead of requiring main.carp or <repo-n…
+51
−31
•
4
comments
Opened 2 other pull requests in 1 repository
carp-lang/Carp
1
open
1
merged
Reviewed 5 pull requests in 1 repository
Created an issue in carp-lang/Carp that received 15 comments
RFC: Allow variadic functions
Lasciate ogne speranza, voi ch'intrate. Or: this RFC is pretty big, sorry about that. What? in which I try to explain what I’d like. Many programmi…
15
comments
3
contributions
in private repositories
Dec 4