Skip to main content

Browse the archive

Revision 192a23f0bd53f0be1083912795d3019f5b20b9f4 authored by Cécile BARITEL-RUET on 19 December 2018, 17:24:55 UTC, committed by Cécile BARITEL-RUET on 19 December 2018, 17:24:55 UTC 
fix type of pred1 from 'a -> bool to 'a -> 'a -> bool
1 parent 0b59cac
History
File Mode Size
COPYRIGHT.meta.yaml -rw-r--r-- 646 bytes
keywords -rwxr-xr-x 4.6 KB
license -rwxr-xr-x 6.0 KB
strip-comments -rwxr-xr-x 1.2 KB
back to top