Sign Up
Kata
Kumite
Blog
Forum
Wiki
Leaders
Log In
Sign Up
Name:
Bubbler's functional self
Clan:
Unknown
Member Since:
Jan 2019
Last Seen:
Nov 2020
Profiles:
Following:
0
Followers:
22
Allies:
0
View Profile Badges
Stats
Kata
Collections
Kumite
Social
Discourse
Completed (906)
Authored
6 kyu
[Code golf] f (f (f b)) = f b
2
2
0
79%
of
7
15
monadius
Completed Languages:
6 kyu
[Code golf] negb is involutive
2
2
0
88%
of
8
21
monadius
Completed Languages:
4 kyu
Program Verification #6: Fast Fibonacci numbers
1
1
2
100%
of
4
11
monadius
Completed Languages:
5 kyu
Verified subsequence matching
4
4
1
90%
of
10
27
dramforever
Completed Languages:
6 kyu
Verified Horner's method
6
6
1
94%
of
17
48
dramforever
Completed Languages:
4 kyu
Ltac practice: The tarai function
3
3
0
100%
of
7
19
dramforever
Completed Languages:
Retired
Comparative operators (more, less, equal) by your hands
1
1
0
0%
of
6
11
Pope
Completed Languages:
Beta
SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
2
2
0
100%
of
3
4
solitude
Completed Languages:
4 kyu
A special set of matrices with convertible representations
2
2
0
100%
of
3
10
dramforever
Completed Languages:
Beta
SKI-ing in Chicken's style
1
1
0
100%
of
4
6
solitude
Completed Languages:
4 kyu
Evaluating the type safety of a toy language
2
2
2
100%
of
6
17
donaldsebleung
Completed Languages:
6 kyu
Converting forall to exists
3
3
1
83%
of
12
32
Voile
Completed Languages:
6 kyu
Less is Not More
3
3
0
89%
of
9
47
Voile
Completed Languages:
5 kyu
Running around in circles, optimizing the Double Negation
1
1
0
100%
of
7
22
Voile
Completed Languages:
3 kyu
Sum of squares without multiplying
4
4
2
100%
of
4
12
donaldsebleung
Completed Languages:
Loading more items...
Confirm
