History

John David Pressman e8da2626e4 Add set reference page to the docs Add Set.literal to the test suite		2020-02-12 01:39:41 +00:00
..
docs	Add set reference page to the docs	2020-02-12 01:39:41 +00:00
examples	move before merging repositories	2019-05-27 16:56:47 +02:00
website	Fixes after writing the slides.	2020-02-11 22:29:12 +01:00
.dockerignore	move before merging repositories	2019-05-27 16:56:47 +02:00
.gitignore	[LIGO-93] redesign profile pics	2019-09-27 19:10:48 +02:00
docker-compose.yml	Add ReasonLIGO support	2019-12-10 13:47:31 +00:00
Dockerfile	move before merging repositories	2019-05-27 16:56:47 +02:00
LICENSE	move before merging repositories	2019-05-27 16:56:47 +02:00
owner.pp.ligo	Revert "Merge with dev"	2019-11-07 23:19:27 +00:00
README.md	Add updated instructions for running/building the website	2019-08-02 16:52:23 -07:00
timestamp.pp.ligo	Revert "Merge with dev"	2019-11-07 23:19:27 +00:00

Ligo documentation

Running the documentation website

The website will be available at http://localhost:3000

To get the website running you want to do the commands:

cd website
npm run version next
cd ..
docker-compose up