Repositories tagged with "supercompilation"
supercompilation-resources
etiamz
โ๐ A collection of resources about supercompilationโ
ttlite
ilya-klyuchnikov
โA SuperCompiler for Martin-Lรถf's Type Theoryโ
