3 ms·
The semantics is executable but for an emulator you probably want something more efficient. I don't know whether K semantics can be "compiled", so to speak. It
by sanxiyn 8y ago
The semantics is executable but for an emulator you probably want something more efficient. I don't know whether K semantics can be "compiled", so to speak. It probably can with enough effort?
- marcusarmstrong 8y agoThey can; Grigore was my advisor in college and I’ve seen him demo exactly that.