|
Urbit
|
document what this argument is
|
2020-10-20 17:27:13 -04:00 |
|
.ghci
|
init with 'connect' working
|
2020-08-27 08:34:41 -04:00 |
|
.gitignore
|
fix build
|
2020-10-12 10:23:14 -04:00 |
|
.travis.yml
|
fix build and debug ci
|
2020-10-19 15:27:32 -04:00 |
|
default.nix
|
basic build infrastructure
|
2020-09-16 20:49:49 -04:00 |
|
fakezod.sh
|
ci: fix port
|
2020-10-12 11:53:52 -04:00 |
|
LICENSE
|
fix build
|
2020-10-12 10:23:14 -04:00 |
|
login.sh
|
test: add uid
|
2020-10-09 16:23:08 -04:00 |
|
Main.hs
|
basic build infrastructure
|
2020-09-16 20:49:49 -04:00 |
|
shell.nix
|
fix build and debug ci
|
2020-10-19 15:27:32 -04:00 |
|
test.hs
|
remove hardcoded channel uid, sseClient field
|
2020-10-20 17:12:52 -04:00 |
|
urbit-airlock.cabal
|
fix build and debug ci
|
2020-10-19 15:27:32 -04:00 |
|
urbit-airlock.nix
|
fix build and debug ci
|
2020-10-19 15:27:32 -04:00 |
