Skip to content

Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes

License

Notifications You must be signed in to change notification settings

ucsd-progsys/liquid-client-retro

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Liquid CLient

Client side web pages with text-panes that interact with liquid-server

Installation

To generate a tutorial from .lhs files, do the following:

$ mkdir tutorial
$ cd tutorial
$ git clone git@github.com:ucsd-progsys/liquid-client-retro.git
$ git clone git@github.com:ucsd-progsys/lh-workshop.git
$ cd lh-workshop
$ stack exec -- make

and then view the generated documents at:

$ open docs/01-index.html

Once you get the above working, you can then edit the lh-workshop/src/*.lhs as you like to fill them with your content, and then rebuild with:

$ stack exec -- make

Customizing

You can install liquid-server by following the instructions at this link

You can edit

liquid-client-retro/assets/templates/preamble.lhs

to change the title etc. and the liquidserver field to point to wherever your liquid-server is running.

About

Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages