1
1
mirror of https://github.com/srid/ema.git synced 2024-12-01 15:13:36 +03:00
ema/docs
2022-01-08 20:01:45 -05:00
..
concepts Remove -C option 2021-06-28 11:05:48 -04:00
guide runEma: return dependently typed action result 2022-01-08 20:01:45 -05:00
start runEma: return dependently typed action result 2022-01-08 20:01:45 -05:00
static Start porting to emanote 2021-05-18 22:43:37 -04:00
concepts.md Import from ema-docs 2021-05-18 22:29:04 -04:00
favicon.svg Start porting to emanote 2021-05-18 22:43:37 -04:00
guide.md Import from ema-docs 2021-05-18 22:29:04 -04:00
index.md docs: fix logo url 2021-08-08 10:56:16 -04:00
index.yaml Update index.yaml 2021-11-03 19:49:16 -04:00
showcase.md Add banyan to examples 2022-01-03 11:41:50 -05:00
start.md doc: Nix is optional 2021-11-21 18:25:45 -05:00