|
|
|
|
|
by tome
1722 days ago
|
|
> I’m constantly baffled by what functional programmers call “simple”. This github repo is clearly not for "functional programmers" nor a generalist audience on HN. It's for experts in type theory, graduate students, academics etc.. The word "simple" is relative to that particular audience. |
|