lambdageek
Follow
🪣
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.