2 of the best Haskell projects on Mastodon.
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
Last posted
1 day ago
Posts
6,938
Followers
▼ 542
Following
152
Bryce3DKeygen.midi
@[email protected]Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.
Last posted
2 weeks ago
Posts
244
Followers
▼ 139
Following
187