Submissions by jle

Faking ADTs and GADTs in languages that shouldn't have them

Sum Types and Subtypes and Unions

Functors to Monads: A Story of Shapes

Haskell nuggets: functional k-means with dependent types

Shuffling Things Up: Solving Advent of Code with Group Theory and Haskell

Solving Advent of Code Day 5 w Group Theory (free groups, group homomorphisms)

A Purely Functional Typed Approach to Trainable Models

Hamiltonian Dynamics: Breaking Down a Haskell Project with Physics and HMatrix

Inside My World – Ode to Functor and Monad