• Home
Name Date Size #Lines LOC

..--

concept.equiv/04-Jul-2025-14086

concept.invocable/04-Jul-2025-414362

concept.predicate/04-Jul-2025-9551

concept.regularinvocable/04-Jul-2025-461408

concept.relation/04-Jul-2025-12173

concept.strictweakorder/04-Jul-2025-13884