To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Heritage persistent IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
fix small bug in reduction of projection
((tuareg-mode . ((require-final-newline . t) (c-basic-offset . 2) (tab-width . 2) (indent-tabs-mode . nil) (eval . (add-hook 'write-contents-functions 'delete-trailing-whitespace))))) (easycrypt-mode . ((require-final-newline . t) (indent-tabs-mode . nil)))