#purescript — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #purescript, aggregated by home.social.
-
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 -
"Analysis of Real-Time Logs for Apache #NuttX RTOS with #PureScript" (#Ox64 BL808 Emulator)
-
The Magic of Property Testing
https://www.youtube.com/watch?v=4bpc8NpNHRc@krisajenkins followed up on Property-Based Testing and I love the demo.
Also #Purescript looks cools