MartyO256 / beluga-site

Modernized site for the Beluga programming language using SvelteKit.

Beluga Site

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/.

Prerequisites

Install Node.js and npm, then install the project's dependencies using npm install.

Developing

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.

Building

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.