Description

A description has not yet been added for this collection.

Ad
7 kyu
Ch02 - beside
64worker4food
Fundamentals
7 kyu
Ch02 - effective plusNat
66worker4food
Fundamentals
Refactoring
7 kyu
Maybe - concat 2 maybe's
250wichu
Fundamentals
6 kyu
Concat me like a fold
44davidmaamoaix
Functional Programming
6 kyu
Keep the balance
25flaco
Recursion
Trees
Algorithms
6 kyu
drop from end
64JohanWiltink
Lists
Performance
Fundamentals
6 kyu
Generalizing fold
105haspience
Recursion
Fundamentals
6 kyu
Guess the number - Monad Edition
110DasBrain
Monads
Puzzles
Algorithms
6 kyu
Each n-th element of list
535hardentoo
Fundamentals
Lists
6 kyu
Binary Tree Top Line
97KacperKorban
Binary Trees
Fundamentals
6 kyu
Rotate 1 / 8th
76JohanWiltink
Arrays
Algorithms
6 kyu
Interpolation Phalanx
129tel
Interpreters
Fundamentals
6 kyu
Product Groups
183xcthulhu
Mathematics
Fundamentals
6 kyu
Daggerlang
216tel
Interpreters
Fundamentals
6 kyu
Hughes' List
213tel
Algorithms
6 kyu
Combinations
245ninjasmodyurt
Lists
Fundamentals
6 kyu
Hutton's Razor
455tel
Interpreters
Fundamentals
5 kyu
All Expressions Matter
17mirkeau
Fundamentals
Algorithms
5 kyu
Rescue a Ship on the Integer Sea
16glebec
Mathematics
Streams
Puzzles
Algorithms
5 kyu
Trees to Parentheses, and Back
123oisdk
Trees
Fundamentals
5 kyu
Lambda Calculus: Lists
106Freddie C
Functional Programming
Fundamentals
Lists
Data Structures
5 kyu
Directory tree
90ecolban
Fundamentals
5 kyu
Shortest list, lazily
128matthewmoppett
Lists
Fundamentals
5 kyu
Peano numbers
415jariazavalverde
Data Structures
Algorithms
5 kyu
Binary Search Trees
615ecolban
Object-oriented Programming
Algorithms
Data Structures
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
47ice1000
Theorem Proving
Functional Programming
Fundamentals
4 kyu
Snake Cube Solver
56Paul Robertson
Recursion
Geometry
Puzzles
Algorithms
Game Solvers
Graph Theory
4 kyu
Lambda term reduction
61hhelwich
Mathematics
Logic
Functional Programming
Algorithms
Trees
4 kyu
Escape the Mines or die !
127ice1000
Algorithms
Data Structures
Graph Theory
4 kyu
Template Haskell: Tuple maker
134AJFarmar
Metaprogramming
Fundamentals
4 kyu
Brace expansion
138arhigod
Strings
Algorithms
4 kyu
Simple Syntax Tokenizing
195AJFarmar
Strings
Parsing
Algorithms
4 kyu
JSON Parser
202joebandenburg
JSON
Parsing
Algorithms
4 kyu
(A+B)+C=A+(B+C)? Prove it!
274ice1000
Theorem Proving
Mathematics
Fundamentals
4 kyu
Fix it
549gans
Fundamentals
4 kyu
Functional streams
745muesli4
Streams
Functional Programming
Algorithms
3 kyu
Integer to Nested Structure
141Voile
Mathematics
Puzzles
3 kyu
Constructing finite fields using binary polynoms
156muesli4
Mathematics
Data Structures
Algebra
Strings
Algorithms
3 kyu
Data Types à la Carte [fork]
184lolisa
Fundamentals
Functional Programming
Puzzles
3 kyu
Lens Apprentice
238glebec
Functional Programming
Fundamentals
Tutorials
3 kyu
Recurrence relations
279Ivana
Performance
Fundamentals
3 kyu
Isomorphism
901lolisa
Functional Programming
Fundamentals
2 kyu
Operator Parser
101matthewmoppett
Parsing
Data Structures
Compilers
Puzzles
2 kyu
I love Lisp
149ice1000
Mathematics
Fundamentals
Puzzles
2 kyu
Count them all!
169pier-bezuhoff
Functional Programming
Mathematics
Fundamentals
2 kyu
Yoneda lemma
176pier-bezuhoff
Mathematics
Fundamentals
2 kyu
Finally tagless interpreter
305tel
Interpreters
Algorithms
2 kyu
Writing applicative parsers from scratch
341muesli4
Data Structures
Parsing
Strings
Algorithms
Tutorials
2 kyu
Singletons
451mpickering
Fundamentals
2 kyu
Simple SQL Engine
497SteveRuble
SQL
Parsing
Sets
Databases
Algorithms
2 kyu
Algebraic Isomorphism
532lolisa
Functional Programming
Fundamentals
Tutorials
2 kyu
Odd + Even = Odd? Prove it!
720AJFarmar
Number Theory
Fundamentals
2 kyu
Regular expression parser
1,040phaul
Parsing
Functional Programming
Algorithms
2 kyu
Evaluate mathematical expression
9,576ankr
Mathematics
Parsing
Algorithms
1 kyu
Lambda Calculus: Lists as folds II
30JohanWiltink
Algorithms
Lists
Data Structures
Functional Programming
1 kyu
A*B=B*A? Prove it!
213ice1000
Theorem Proving
Mathematics
Fundamentals
1 kyu
Peano and Church
321lolisa
Fundamentals
1 kyu
Lensmaker
381tel
Fundamentals
Functional Programming
Puzzles
1 kyu
A+B=B+A? Prove it!
463AJFarmar
Mathematics
Fundamentals
1 kyu
Scott Encoding
600xenoexplorator
Functional Programming
Fundamentals
1 kyu
BECOME IMMORTAL
3,081Voile
Puzzles
Dynamic Programming
Performance
Algorithms