brokenix
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht//~carnotweat/morning-rust
- 2 Posts
- 4 Comments
Joined 1 year ago
Cake day: May 30th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
2·1 year ago@BaumGeist @nathris try zsh plugins/ widgets in term, that helped me
@s20 @throwawayish whats the difference between idiom and boilerplate code
-– pardon my ignorance , haven’t read the article yet
@danielfgom @the_crab_man bing + 10 auto bookmarked paves which i dont care about