cmdargs-browser automatically generates GUI's for entering command line arguments: neilmitchell.blogspot.com/2020/07/automa. A project I wrote over 7 years ago, and then told no one about.
read image description
ALT
3
9
53
Conversation
This Tweet was deleted by the Tweet author. Learn more
Wish my datatypes came with fun little GUIs.
1
5
Isn't that like sharkdp.github.io/purescript-spa or typed-spreadsheet or something?
I believe there's a "deriving Generic" version of those, too.
2
1
Super neat, I didn't know this existed! I wish this could be part of the editor via something like elaborator reflection. And that you could flip between alternate views of the same datatype.