chris martens on Nostr: nprofile1q…d6kk0 what’s your workflow for running code? Compiling or normalizing ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) what’s your workflow for running code? Compiling or normalizing stuff in the editor or something? is there a good repl/ghci approximation (proof interactive mode I would guess might work)?