Skip to content

Documentation for Logica, a logic programming language that compiles to DuckDB, Google BigQuery, PostgreSQL and SQLite.

License

Notifications You must be signed in to change notification settings

logica-web/logica-web.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

32 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Logica Online Tutorial Setup

Credit

Huge thanks to Vitepress

Implementation

conda create -n logica_web
conda activate logica_web
conda install conda-forge::nodejs
npm install vitepress --save-dev
npm run docs:dev

Before push

npm run docs:build
npm run docs:preview

Rendering Existing Notebook

jupyter nbconvert %target%.ipynb --to html --template=lab

After generating the HTML file, add the following CSS to the <style> section of the HTML to eliminate extra spacing:

<style>
    html, body {
        margin: 0;
        padding: 0;
        overflow: hidden; /* Avoid scrollbars inside the iframe */
    }
</style>

About

Documentation for Logica, a logic programming language that compiles to DuckDB, Google BigQuery, PostgreSQL and SQLite.

Topics

Resources

License

Stars

Watchers

Forks