sharing-recovery/src, branch masterGeneric implementation of sharing recovery in Haskell
https://git.tomsmeding.com/sharing-recovery/atom?h=master2025-11-16T22:45:22ZProvide sharingRecoveryUnsafe2025-11-16T22:45:22ZTom Smedingtom@tomsmeding.com2025-11-16T22:45:22Zurn:sha1:b5ab8922b831a57594aa1b977e35d929fa71aeaaAdd typeOf functions2025-10-03T21:06:05ZTom Smedingtom@tomsmeding.com2025-10-03T21:06:05Zurn:sha1:1931c68ae2b9add3235b729b194ef4b4ce6938afCleanup2025-01-24T19:49:30ZTom Smedingt.j.smeding@uu.nl2025-01-24T19:49:30Zurn:sha1:bb44859684ee8f241da6d2d0a4ebed1639b11b81Move code to .Internal module, and some haddocs2024-08-28T14:41:22ZTom Smedingt.j.smeding@uu.nl2024-08-28T14:41:13Zurn:sha1:912d262c8aef92657b8991d05b7fe39dcb5b5fd4Remove some superfluous language extensions2024-08-28T14:13:38ZTom Smedingt.j.smeding@uu.nl2024-08-28T14:13:38Zurn:sha1:66ed0dac02b8d3518d6e815c566c1e12e57a6a93Rename "lifting" to "floating"2024-08-28T14:12:15ZTom Smedingt.j.smeding@uu.nl2024-08-28T14:12:15Zurn:sha1:2870da310256a137971a6a661801dcdf9dedd818
The paper calls it floating, and that's a less overloaded term.
Implement sorting of floated expressions2024-08-28T14:10:58ZTom Smedingt.j.smeding@uu.nl2024-08-28T14:10:58Zurn:sha1:5a0ce21e12e765125ad8068e919cf97b70df8257It does something2024-08-28T10:01:08ZTom Smedingtom@tomsmeding.com2024-08-28T10:01:08Zurn:sha1:869be329dd05eede1dd1adb3c3b6ce2340074818WIP lower to de bruijn indices2024-08-27T21:00:13ZTom Smedingtom@tomsmeding.com2024-08-27T21:00:13Zurn:sha1:a6f925deaa2044a0fe18a74fc52703e00f111056Initial2024-08-01T20:04:52ZTom Smedingtom@tomsmeding.com2024-08-01T20:04:52Zurn:sha1:250e3beae7a961fc740f775a563c303b4cc390fe