I

iron lambda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 19 minutes ago. based on code collected 21 minutes ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 13, 2025 — Jan 13, 2026 Showing page 4 of 11 Search / Filter on:
f2effect: follow changes in store wf	Ben Lippmeier	More...				over 12 years ago
f2effect: work on LiveS	Ben Lippmeier	More...				over 12 years ago
f2effect: extend preservation mostly works	Ben Lippmeier	More...				over 12 years ago
f2effect: add notes	Ben Lippmeier	More...				over 12 years ago
f2effect: desparate hacks	Ben Lippmeier	More...				over 12 years ago
f2effect: add missing LiftX module	Ben Lippmeier	More...				over 12 years ago
f2effect: more on extend preservation	Ben Lippmeier	More...				over 12 years ago
f2effect: adding freshFree junk	Ben Lippmeier	More...				over 12 years ago
f2effect: merge hacks	Ben Lippmeier	More...				over 12 years ago
f2effect: more on SfExtendPop	Ben Lippmeier	More...				over 12 years ago
f2effect: start on mergeX	Ben Lippmeier	More...				over 12 years ago
f2effect: add frame typing for FExt	Ben Lippmeier	More...				over 12 years ago
f2effect: fix wf store for FExt	Ben Lippmeier	More...				over 12 years ago
f2effect: wf for FExtend frame	Ben Lippmeier	More...				over 12 years ago
f2effect: weakening for XExtend	Ben Lippmeier	More...				over 12 years ago
f2effect: add XExtend and type weakening for it	Ben Lippmeier	More...				over 12 years ago
f2effect: rename FUse -> FPriv	Ben Lippmeier	More...				over 12 years ago
f2effect: rename XNew -> XPrivate	Ben Lippmeier	More...				over 12 years ago
f2effect: split concat and elem fns, refactor to use TRgn notation	Ben Lippmeier	More...				over 12 years ago
f2effect: cleanups	Ben Lippmeier	More...				over 12 years ago
f2effect: start on write soundness	Ben Lippmeier	More...				over 12 years ago
README tweaks	Ben Lippmeier	More...				over 12 years ago
f2effect: remove unneeded premise	Ben Lippmeier	More...				over 12 years ago
f2effect: remove comment	Ben Lippmeier	More...				over 12 years ago
f2effect: remove redundant premise from TfConsLet	Ben Lippmeier	More...				over 12 years ago
Formatting and wibbles	Ben Lippmeier	More...				over 12 years ago
SystemF2Effect: shift store typing rules around	Ben Lippmeier	More...				over 12 years ago
SystemF2Effect: variable name wibbles	Ben Lippmeier	More...				over 12 years ago
SystemF2Effect: finish multi-step preservation	Ben Lippmeier	More...				over 12 years ago
SystemF2Effect: add spVis param to SubsVisibleT	Ben Lippmeier	More...				over 12 years ago

←
1
2
3
4
5
6
7
8
9
10
11
→