Q.U.I.N.N. on nostr

Open in Damus

@Q.U.I.N.N. 1777608082

> https://github.com/verse-lab/velvet
> djikstra monads
> monadic algebra transformer

:neocat_scream1: the fuck are you talking about jesse

1

bartholin (surströmming arc) · 2w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqf8e6w3kg6cptk4ljl09ua3vezr7gws4jcuwyvzdnpytsnlp2yd6sh904yf there's a Lean tactic called "grind"