Description

A description has not yet been added for this collection.

Ad
7 kyu
Ch02 - beside
60worker4food
Fundamentals
7 kyu
Ch02 - effective plusNat
63worker4food
Fundamentals
Refactoring
7 kyu
Maybe - concat 2 maybe's
245wichu
Fundamentals
6 kyu
Concat me like a fold
41davidmaamoaix
Functional Programming
6 kyu
Keep the balance
24flaco
Recursion
Trees
Algorithms
6 kyu
drop from end
57JohanWiltink
Lists
Performance
Fundamentals
6 kyu
Generalizing fold
101haspience
Recursion
Fundamentals
6 kyu
Guess the number - Monad Edition
105DasBrain
Monads
Puzzles
Algorithms
6 kyu
Each n-th element of list
364hardentoo
Fundamentals
Lists
6 kyu
Binary Tree Top Line
95KacperKorban
Binary Trees
Fundamentals
6 kyu
Rotate 1 / 8th
63JohanWiltink
Arrays
Algorithms
6 kyu
Interpolation Phalanx
128tel
Interpreters
Fundamentals
6 kyu
Product Groups
183xcthulhu
Mathematics
Fundamentals
6 kyu
Daggerlang
215tel
Interpreters
Fundamentals
6 kyu
Hughes' List
213tel
Algorithms
6 kyu
Combinations
242ninjasmodyurt
Lists
Fundamentals
6 kyu
Hutton's Razor
452tel
Interpreters
Fundamentals
5 kyu
All Expressions Matter
14mirkeau
Fundamentals
Algorithms
5 kyu
Rescue a Ship on the Integer Sea
15glebec
Mathematics
Streams
Puzzles
Algorithms
5 kyu
Trees to Parentheses, and Back
117oisdk
Trees
Fundamentals
5 kyu
Lambda Calculus: Lists
90Freddie C
Functional Programming
Fundamentals
Lists
Data Structures
5 kyu
Directory tree
83ecolban
Fundamentals
5 kyu
Shortest list, lazily
128matthewmoppett
Lists
Fundamentals
5 kyu
Peano numbers
374jariazavalverde
Data Structures
Algorithms
5 kyu
Binary Search Trees
587ecolban
Object-oriented Programming
Algorithms
Data Structures
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
45ice1000
Theorem Proving
Functional Programming
Fundamentals
4 kyu
Snake Cube Solver
53Paul Robertson
Recursion
Geometry
Puzzles
Algorithms
Game Solvers
Graph Theory
4 kyu
Lambda term reduction
57hhelwich
Mathematics
Logic
Functional Programming
Algorithms
Trees
4 kyu
Escape the Mines or die !
125ice1000
Algorithms
Data Structures
Graph Theory
4 kyu
Template Haskell: Tuple maker
132AJFarmar
Metaprogramming
Fundamentals
4 kyu
Brace expansion
134arhigod
Strings
Algorithms
4 kyu
Simple Syntax Tokenizing
186AJFarmar
Strings
Parsing
Algorithms
4 kyu
JSON Parser
196joebandenburg
JSON
Parsing
Algorithms
4 kyu
(A+B)+C=A+(B+C)? Prove it!
268ice1000
Theorem Proving
Mathematics
Fundamentals
4 kyu
Fix it
543gans
Fundamentals
4 kyu
Functional streams
725muesli4
Streams
Functional Programming
Algorithms
3 kyu
Integer to Nested Structure
134Voile
Mathematics
Puzzles
3 kyu
Constructing finite fields using binary polynoms
151muesli4
Mathematics
Data Structures
Algebra
Strings
Algorithms
3 kyu
Data Types à la Carte [fork]
180lolisa
Fundamentals
Functional Programming
Puzzles
3 kyu
Lens Apprentice
231glebec
Functional Programming
Fundamentals
Tutorials
3 kyu
Recurrence relations
273Ivana
Performance
Fundamentals
3 kyu
Isomorphism
876lolisa
Functional Programming
Fundamentals
2 kyu
Operator Parser
99matthewmoppett
Parsing
Data Structures
Compilers
Puzzles
2 kyu
I love Lisp
148ice1000
Mathematics
Fundamentals
Puzzles
2 kyu
Count them all!
162pier-bezuhoff
Functional Programming
Mathematics
Fundamentals
2 kyu
Yoneda lemma
170pier-bezuhoff
Mathematics
Fundamentals
2 kyu
Finally tagless interpreter
298tel
Interpreters
Algorithms
2 kyu
Writing applicative parsers from scratch
335muesli4
Data Structures
Parsing
Strings
Algorithms
Tutorials
2 kyu
Singletons
444mpickering
Fundamentals
2 kyu
Simple SQL Engine
483SteveRuble
SQL
Parsing
Sets
Databases
Algorithms
2 kyu
Algebraic Isomorphism
516lolisa
Functional Programming
Fundamentals
Tutorials
2 kyu
Odd + Even = Odd? Prove it!
698AJFarmar
Number Theory
Fundamentals
2 kyu
Regular expression parser
912phaul
Parsing
Functional Programming
Algorithms
2 kyu
Evaluate mathematical expression
9,038ankr
Mathematics
Parsing
Algorithms
1 kyu
Lambda Calculus: Lists as folds II
28JohanWiltink
Algorithms
Lists
Data Structures
Functional Programming
1 kyu
A*B=B*A? Prove it!
204ice1000
Theorem Proving
Mathematics
Fundamentals
1 kyu
Peano and Church
315lolisa
Fundamentals
1 kyu
Lensmaker
371tel
Fundamentals
Functional Programming
Puzzles
1 kyu
A+B=B+A? Prove it!
447AJFarmar
Mathematics
Fundamentals
1 kyu
Scott Encoding
584xenoexplorator
Functional Programming
Fundamentals
1 kyu
BECOME IMMORTAL
2,892Voile
Puzzles
Dynamic Programming
Performance
Algorithms