remove giesch/todo tags, add List.drop doc

This commit is contained in:
Dan Knutson 2021-10-03 09:59:32 -05:00
parent 700ab20a8c
commit 65821d6a9f
3 changed files with 4 additions and 8 deletions

View file

@ -319,7 +319,6 @@ pub fn list_drop<'a, 'ctx, 'env>(
)
}
// GIESCH ask about how this calling/linking to compiled zig works
/// List.dropAt : List elem, Nat -> List elem
pub fn list_drop_at<'a, 'ctx, 'env>(
env: &Env<'a, 'ctx, 'env>,