This is a modernization of the website https://complogic.cs.mcgill.ca/beluga for the Beluga programming language and proof assistant. It is built as a static website using Svelte and SvelteKit.
A version of this site is deployed at https://martyo256.github.io/beluga-site/.
Install Node.js and npm, then install the project's dependencies using npm install
.
Start a development server with:
npm run dev
The --host
flag can be passed to the dev
command as npm run dev -- --host
to expose the app to the local network to test it on mobile devices.
Create a production version of the app with:
npm run build
The contents of the generated build
directory can then be deployed to the Web server.
You may preview the production build with npm run preview
.