2 awesome Haskell projects on Mastodon that posted recently.
Haskell Weekly
@[email protected]Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell
Last posted
1 day ago
Posts
1,890
Followers
▼ 1,537
Following
21
HoldMyType
@[email protected]s='hello;'
echo "${s//;/\;}"
> 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/modshelltovm
#rust #nix , bits of #haskell #ocaml
Last posted
Less than a day ago
Posts
7,806
Followers
▼ 570
Following
159