2ltt_attempt
two level type theory implementation
rad:zMEpgVoZqP6ghmH3DgxZ1ezEFUK8
Visibility
public
Delegates
did:key:z6MknPhgeUiH3BZEUBJ65ahJeVDXe2RnWTtuQ7ZkTzf3Rwz1
Default branch
trunk → 50a56f459c8f2585c0e4cd551e198d9059afc682 (Sat Sep 28 12:11:35 2024)
Threshold
1