https://github.com/thalesmg/thalesmg.github.io

https://github.com/thalesmg/thalesmg.github.io

Last synced: 10 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/thalesmg/thalesmg.github.io
• Owner: thalesmg
• Created: 2020-08-04T22:09:49.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-11-24T00:49:45.000Z (almost 2 years ago)
• Last Synced: 2023-03-05T07:38:55.552Z (over 1 year ago)
• Language: CSS
• Homepage: https://thalesmg.github.io/
• Size: 241 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.org

Awesome Lists containing this project

README

        
* building with nix

#+BEGIN_SRC sh

  nix develop

  cd site

  cabal new-run site clean

  cabal new-run site watch

#+END_SRC

* building with plain cabal

Works with GHCUP, GHC 8.10.7, Cabal 3.6.2.0.

#+BEGIN_SRC sh

  cd site

  # python -m venv venv

  # . venv/bin/activate

  # eval $(opam env)

  cabal update

  cabal run site clean

  cabal run site watch

#+END_SRC

Dependencies:

#+BEGIN_SRC sh

  pip install alectryon

  pacman -S opam

  opam install coq-serapi

#+END_SRC