cond-let.git/LICENSE, branch main Unnamed repository; edit this file 'description' to name the repository. Initial import 2025-08-22T18:44:24+00:00 Jonas Bernoulli jonas@bernoul.li 2025-08-22T18:44:24+00:00 8cb8733112d00ad8d24cb1f2f7a7845448c31819