 DricomDragon
|
6816698882
Fix the foldable sum for integers
|
před 5 roky |
|
DricomDragon
|
7b891cd3c7
Create a non compilable foldable sum
|
před 5 roky |
|
DricomDragon
|
e8a1d18a2c
Add implementations with filter for prime functions
|
před 5 roky |
|
DricomDragon
|
cfefa0f0de
Add a function to list prime numbers
|
před 5 roky |
|
DricomDragon
|
2c73d8afb1
Create a function to list the dividers of a number
|
před 5 roky |
|
DricomDragon
|
2653b1013f
Try to fix my own function but still does'nt work
|
před 5 roky |
|
DricomDragon
|
a4e3b799fc
Add the teacher anagram function
|
před 5 roky |
|
DricomDragon
|
dfed770022
Improve function but duplicates
|
před 5 roky |
|
DricomDragon
|
bd074afb49
Specify function signatures
|
před 5 roky |
|
DricomDragon
|
e5460a0853
Create a non working version of anagram builder
|
před 5 roky |
|
DricomDragon
|
3a4b1c9b6c
Create a custom flip function
|
před 5 roky |
|
DricomDragon
|
0dd603878b
Create a sort function by extraction
|
před 5 roky |
|
DricomDragon
|
b4abb88609
Create a function to retrieve an integer
|
před 5 roky |
|
DricomDragon
|
6627d0b022
Create custom delete function
|
před 5 roky |
|
DricomDragon
|
93572ab22a
Create a custom function to reverse a list
|
před 5 roky |
|
DricomDragon
|
44acea96cd
Compute efficiently pythagore triplets
|
před 5 roky |
|
DricomDragon
|
c1f57d8450
Square list
|
před 5 roky |
|
DricomDragon
|
354f692377
Add the function to compute height of a binary tree
|
před 5 roky |
|
DricomDragon
|
867d9acb2f
Create binary tree type
|
před 5 roky |
|
DricomDragon
|
ee01510045
Implement a function to sum Liste elements
|
před 5 roky |
|
DricomDragon
|
11c79ba97d
Create the data type List
|
před 5 roky |
|
DricomDragon
|
1dd60732ac
Merge branch 'exo'
|
před 5 roky |
|
DricomDragon
|
a7d1edd356
Add an add function which is terminal
|
před 5 roky |
|
DricomDragon
|
517810289f
Implement an 'add' function for Nat
|
před 5 roky |
|
DricomDragon
|
e0265c011e
Add the show method to Nat
|
před 5 roky |
|
DricomDragon
|
715cd0c58c
Add convertor from int to Nat
|
před 5 roky |
|
DricomDragon
|
6e767afd5a
Implement converter from Nat to int
|
před 5 roky |
|
DricomDragon
|
e1135c8da8
Create data Nat
|
před 5 roky |
|
DricomDragon
|
0aa2aebfc3
Add out folder in gitignore
|
před 5 roky |
|
DricomDragon
|
5b85ea80a6
Add vim file extensions in gitignore
|
před 5 roky |
