@ArneBab Yep, heard of it, cool stuff. Not exactly the way I have in mind to proceed on unification/emacsyfication, but definetly a good try.
Top-level
@ArneBab Yep, heard of it, cool stuff. Not exactly the way I have in mind to proceed on unification/emacsyfication, but definetly a good try. No comments
|