« first day (757 days earlier)      last day (778 days later) » 

12:30 AM
Have any of you tried implementing an editor in K? Either something minimalist like atw's kparc.com/edit.k or something more ambitious. k +regexp would make a neat extension language!
 
there exists a line editor written in q
 
 
7 hours later…
7:10 AM
@bakul t.k in github.com/ktye/i/tree/master/_/i2/kui is a graphical editor/console for an older version of k.
 
 
2 hours later…
9:36 AM
@bakul Mesh is a spreadsheet/AST editor written in k7 youtu.be/CEG9pFNYBCI
 
 
9 hours later…
6:38 PM
Thanks, @ktye & @chrispsn & @JohnE
 
 
2 hours later…
ngn
8:08 PM
 

« first day (757 days earlier)      last day (778 days later) »