Beatrice: A finally tagless, dependently typed, homoiconic programming language
(hirrolot.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Apr 2024 22:05
comments (1)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Apr 2024 22:05
comments (1)
Solving SAT via Positive Supercompilation
(hirrolot.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Feb 2024 00:09
comments (0)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Feb 2024 00:09
comments (0)