garlic tools: rename divList -> halfList

This commit is contained in:
Rodrigo Arias 2020-11-16 11:58:43 +01:00
parent 65918bca21
commit e0ca33569b

View File

@ -51,7 +51,7 @@ let
# Generates a list of integers by halving number N until it reaches 1. Is
# sorted from the smallest to largest.
divList = N:
halfList = N:
let
_divList = n: if (n == 0) then [] else (_divList (n / 2)) ++ [ n ];
in