Post by Anupam 🇮🇳《ミ》λ≡, @aj@id1.in

Single post

Anupam 🇮🇳《ミ》λ≡ @aj

Playing around with #DependentTypes and started writing a (currently pretty silly) #Singletons library port for #PureScript - https://forge.id1.in/aj/purescript-singletons/

#Haskell #FunctionalProgramming

Published: May 31, 2025, 05:17
Replies: 0
Favourites: 3
Reblogs: 2
Language: English

Open thread at this post