4 ms·
If I understand it correctly it's like Typed Racket with a purely functional AST which is also a content-addressable Merkle-tree and a UI with paredit-style typ
by mtrimpe 11y ago
If I understand it correctly it's like Typed Racket with a purely functional AST which is also a content-addressable Merkle-tree and a UI with paredit-style type correctness.
- vinodkd 11y agothis was strangely entirely grokkable, thanks.