Functional programming, Logic, PureScript, Haskell, Idris, Rust
Β π π³ π β΅οΈ π¨
π» ** π π»
Aspiring type-level magician π§π½ββοΈ
- Portugal
Block or Report
Block or report sigma-andex
Report abuse
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abusePinned
-
purescript-barlow-lens Public
Increase your magnification
π and zoom deep into a record. -
-
-
-
-
1,042 contributions in the last year
Less
More



