ema/bin/run

mirror of https://github.com/srid/ema.git synced 2024-12-03 05:44:35 +03:00
#!/usr/bin/env bash
set -xe
exec nix develop -c ghcid
initial commit of WIP code 2021-04-19 18:07:52 +03:00			`#!/usr/bin/env bash`
			`set -xe`
Simplify runEma API so race_ is not needed in user programs 2021-04-21 07:05:31 +03:00			`exec nix develop -c ghcid`