https://github.com/hellerve/lean

A lean zeps template
https://github.com/hellerve/lean

Last synced: 4 days ago
JSON representation

A lean zeps template

• Host: GitHub
• URL: https://github.com/hellerve/lean
• Owner: hellerve
• Created: 2016-05-23T14:03:36.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2016-08-30T13:32:36.000Z (over 9 years ago)
• Last Synced: 2025-10-04T23:34:28.315Z (6 months ago)
• Size: 3.91 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# lean

A lean and simple zeps template.

## Installation

lean is a regular zeps package, so running `zeps install hellerve/lean@0.1.2` should

be sufficient.

## Usage

lean is a regular zeps template. Try running `zeps new lean my-project`.

It will generate a minimal project configuration for a package called `my-project`.

It is made for `:library` type projects.



Have fun!