User contributions
Jump to navigation
Jump to search
- 11:56, 15 March 2024 diff hist -9 m Software transactional memory Fix broken beautiful concurrency link current
- 16:50, 6 February 2024 diff hist -39 m Research papers/Functional pearls use open access doi.org links instead of preprints current
- 16:46, 6 February 2024 diff hist +523 Research papers/Functional pearls Add some more ICFP pearls
- 16:41, 6 February 2024 diff hist +242 Research papers/Functional pearls Add 2023 pearls
- 11:46, 4 February 2023 diff hist -28 Impredicative types Fix link current
- 09:34, 17 November 2022 diff hist +1 m Catamorphisms Fix typo In -> InF current
- 20:41, 16 November 2022 diff hist -31 m Catamorphisms Reword cata-compose
- 20:39, 16 November 2022 diff hist +5 Catamorphisms Link to natural transformation page
- 20:30, 16 November 2022 diff hist +130 Catamorphisms Remove confusing => and explain natural transformation