id: 87847fc5bf154f0b92fb7a9254128e23
parent_id: 5e5a8bf989f54dd9b245a88f4761af91
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1698163641609
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"closure\\\n - [\"],[-1,\" \"],[1,\"X\"],[0,\"] coinductiv\"]],\"start1\":1005,\"start2\":1005,\"length1\":25,\"length2\":25},{\"diffs\":[[0,\"ve types\"],[1,\"\\\n\\t - Interesting in their own right (flips inductive \\\"build complex objects from simple ones\\\" on its head; focus is on destructing complex objects into simple ones)\\\n\\t - Not present in Lean\"],[0,\"\\\n\\\n# Pape\"]],\"start1\":1029,\"start2\":1029,\"length1\":16,\"length2\":204}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-10-24T16:11:40.299Z
created_time: 2023-10-24T16:11:40.299Z
type_: 13