assets
|
demo working level
|
2019-10-30 00:27:37 +01:00 |
src
|
demo working level
|
2019-10-30 00:27:37 +01:00 |
test
|
first step toward Interactive UI
|
2019-10-28 13:41:05 +01:00 |
.envrc
|
first step toward Interactive UI
|
2019-10-28 13:41:05 +01:00 |
.gitignore
|
working with some script to handle rebuild
|
2019-10-29 14:46:13 +01:00 |
build.sh
|
working with some script to handle rebuild
|
2019-10-29 14:46:13 +01:00 |
dev.sh
|
demo working level
|
2019-10-30 00:27:37 +01:00 |
index.js
|
first step toward Interactive UI
|
2019-10-28 13:41:05 +01:00 |
packages.dhall
|
downgrade to purs 0.13.3
|
2019-10-29 13:48:03 +01:00 |
shell.nix
|
downgrade to purs 0.13.3
|
2019-10-29 13:48:03 +01:00 |
spago.dhall
|
demo working level
|
2019-10-30 00:27:37 +01:00 |