"...logrel/git-rts@gitlab.mpi-sws.org:tlsomers/actris.git" did not exist on "858e7fa0105eeb604763c40a58a86a1de9653563"
Forked from
Iris / lambda-rust
Source project has a limited visibility.
-
Jacques-Henri Jourdan authored
Also : declared a canonical structure for lft as a leibniz ofe, and changed the statement of wp_memcpy, so that it unifys with any relevant goal.
Jacques-Henri Jourdan authoredAlso : declared a canonical structure for lft as a leibniz ofe, and changed the statement of wp_memcpy, so that it unifys with any relevant goal.
