2 ms·
What's the threat? I would use it to write a dependent type theory that is JIT compiled and use it to rewrite emacs.
by vatsachak 22d ago
What's the threat? I would use it to write a dependent type theory that is JIT compiled and use it to rewrite emacs.