summaryrefslogtreecommitdiff
path: root/my_list.mli
AgeCommit message (Expand)Author
2018-07-11Add the mem functionOlivier Gayot
2018-07-11Add the flatten (concat) functionOlivier Gayot
2018-07-11Add the rev_append functionOlivier Gayot
2018-07-11Make length a tail-recursive functionOlivier Gayot
2018-07-11Added first draft of my_listOlivier Gayot