PureCake: A verified compiler for a lazy functional language (cakeml.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Mar 2024 01:29
comments (0)