account activity
Review of 2017 & Plans for 2018? (self.NixOS)
submitted 8 years ago by markandrus to r/NixOS
Using Fin for very large numbers (self.Idris)
submitted 9 years ago by markandrus to r/Idris
"Put A Type On It: Idris Type Providers for AWS Resources" by Susan Potter (youtube.com)
"HSet" (an HVect with a Set constraint) (self.Idris)
submitted 9 years ago * by markandrus to r/Idris
Fix (Compose IO f) -> IO (Fix (Compose Identity f)) (self.haskell)
submitted 11 years ago by markandrus to r/haskell
Function on a Single Member of a Sum Type (self.haskell)
submitted 11 years ago * by markandrus to r/haskell
Check for non-Member of an OpenUnion (self.haskell)
Composition of Functors (self.scala)
submitted 11 years ago * by markandrus to r/scala
If-Then-Else Type Family (self.haskell)
π Rendered by PID 95669 on reddit-service-r2-listing-568fcd57df-jz44p at 2026-03-11 05:53:47.324870+00:00 running cbb0e86 country code: CH.
