id: 0c7dd8ce5f51444d9405a577f38b7fcd
parent_id: 629a05b743ac499f9087255407f72000
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1695920420269
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"those?\\\n\\\n\"],[1,\"Discusses translation of higher-order features (Boolean variables, lambda abstractions, function variables) to first-order features in section 2, then dives into three different translations that differ in their handling of type information.\\\n\\\n\"],[0,\"## Archi\"]],\"start1\":5615,\"start2\":5615,\"length1\":16,\"length2\":259}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-09-28T17:00:29.079Z
created_time: 2023-09-28T17:00:29.079Z
type_: 13