imiel

0 Followers · 0 Following

• Joined on 2026-05-03

Repositories

4

Projects Packages Public Activity Starred Repositories

imiel pushed to master at imiel/graphis 2026-05-03 02:32:34 +00:00

93add075cb Initial

imiel created branch master in imiel/graphis 2026-05-03 02:32:34 +00:00

imiel pushed to master at imiel/vanity 2026-05-03 02:32:34 +00:00

3841943d71 small changes to README because i hated it

f46c9b652b formalise optimiser auditing with relation ledgers and shrunk semantic counterexamples

31596491f0 extend source and target calculi with observable tick effects + add invariant checks for relation preservation and target arity/shape

7f024737cf split specialisation into an explicit pass module

5bf83f0933 reject unsupported worker-wrapper source shapes

imiel created branch master in imiel/vanity 2026-05-03 02:32:34 +00:00

imiel pushed to master at imiel/iris 2026-05-03 02:32:34 +00:00

114747bb3d Add definitional transport and congruence combinators derived from Id so equality programming isnt all raw idElim

03eedd855d Replace the listy context API with indexed lookups and explicit scope invariants

28c9f2f9f8 Replace hardcoded universe levels with a proper level language and constraint solving

963c9f3e94 Split neutrals from canonical values so stuck eliminators arent encoded via constructor overloading

bb002a4d92 Rehydrate binder names during quoting so diagnostics stop hemorrhaging raw de bruijn indices

imiel created branch master in imiel/iris 2026-05-03 02:32:34 +00:00

imiel created repository imiel/iris 2026-05-03 02:29:46 +00:00

imiel created repository imiel/graphis 2026-05-03 02:29:27 +00:00

imiel created repository imiel/vanity 2026-05-03 02:29:11 +00:00

imiel pushed to master at imiel/retroid 2026-05-03 02:26:14 +00:00

b193cece66 initial commit

imiel created branch master in imiel/retroid 2026-05-03 02:26:14 +00:00

imiel created repository imiel/retroid 2026-05-03 02:24:09 +00:00