User contributions
Jump to navigation
Jump to search
- 05:36, 28 July 2022 diff hist +2 Exp3 8 →Description
- 05:36, 28 July 2022 diff hist +124 Exp3 8
- 03:59, 28 July 2022 diff hist -47 Exp3 8 →Version 3 : Mendler-style Catamorphism
- 03:57, 28 July 2022 diff hist +195 Exp3 8 →Reductions and Timing
- 03:39, 28 July 2022 diff hist +1,413 Exp3 8
- 07:07, 25 July 2022 diff hist -11 Publications →2022
- 06:19, 25 July 2022 diff hist +55 Publications →2022
- 06:17, 25 July 2022 diff hist -27 Main Page →News
- 02:50, 22 July 2022 diff hist +11 Benchmarking →From nofib
- 02:45, 22 July 2022 diff hist +144 Basic Prelude current
- 02:44, 22 July 2022 diff hist -121 Basic Prelude
- 02:43, 22 July 2022 diff hist +518 N Basic Prelude Created page with "= Description = = Functions = == foldl == === Reductions and Timing === == foldls == === Reductions and Timing === == foldr == === Reductions and Timing === == map ==..."
- 02:39, 22 July 2022 diff hist +101 N Taut Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:39, 22 July 2022 diff hist +101 N Parts Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:39, 22 July 2022 diff hist +101 N Sudoku Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:39, 22 July 2022 diff hist +101 N Braun Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:39, 22 July 2022 diff hist +101 N OrdList Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:38, 22 July 2022 diff hist +101 N PermSort Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:38, 22 July 2022 diff hist +101 N MSS Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:38, 22 July 2022 diff hist +101 N Adjxoxo Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:38, 22 July 2022 diff hist +101 N Pidigits Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Binary-trees Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N N-body Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Lcss Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N RSA Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Calendar Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N GCD Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N SCC Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Cichelli Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Knights Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Clausify Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Awards Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N Primes Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:37, 22 July 2022 diff hist +101 N X2n1 Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:36, 22 July 2022 diff hist +101 N Queens Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:36, 22 July 2022 diff hist +101 N Nfib Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:36, 22 July 2022 diff hist +101 N Tak Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:36, 22 July 2022 diff hist +101 N Digits-of-e Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection ==" current
- 02:36, 22 July 2022 diff hist +101 N Exp3 8 Created page with "= Description = = The code = = Evaluation = == Reductions and Timing == == Garbage Collection =="
- 02:33, 22 July 2022 diff hist +19 Combinator Pearls current
- 02:32, 22 July 2022 diff hist +6,070 N Sorting with Morphisms Created page with "In 1998, Lex Augusteijn published a now-classic paper entitled "[https://doi.org/10.1007/10704973_1 Sorting Morphisms]", where he redefined common sorting algorithms in terms..." current
- 02:32, 22 July 2022 diff hist -10 Combinator Pearls
- 02:30, 22 July 2022 diff hist +9 Benchmarking →Synthetic
- 02:29, 22 July 2022 diff hist +321 Benchmarking →Programs
- 02:17, 22 July 2022 diff hist +1 Benchmarking →Programs
- 09:52, 21 July 2022 diff hist +23 Combinator Pearls
- 09:50, 21 July 2022 diff hist +60 Implementations
- 09:49, 21 July 2022 diff hist +114 Implementations
- 09:47, 21 July 2022 diff hist +46 Implementations
- 09:46, 21 July 2022 diff hist +45 N Implementations Created page with "= Blackbird = = Blackbird-II = = Caracara ="