Snapkitty
/

Intent-V

october-2026-drop

Model card Files Files and versions

Intent-V / clone-gate /src

6.74 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

SNAPKITTYWEST's picture

Add Clone Gate: type-level license gate in Idris 2 (covenant-licensed)

a9a0235 verified 2 days ago

CloneGate.idr

6.74 kB
Add Clone Gate: type-level license gate in Idris 2 (covenant-licensed) 2 days ago