Readings shared June 2, 2025
The readings shared in Bluesky on 2 June 2025 are
- Regex decision procedures in extended RE#. ~ Ian Erik Varatalu et als. #ITP #LeanProver
- Learn physics with functional programming. ~ Esteban Marin. #Haskell #FunctionalProgramming #Physics