Skip to content

Commit

Permalink
OPAM: add synopsis and description
Browse files Browse the repository at this point in the history
  • Loading branch information
nekketsuuu committed Feb 8, 2019
1 parent cc83e0c commit d39df7b
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions satysfi.opam
Original file line number Diff line number Diff line change
Expand Up @@ -72,3 +72,6 @@ depends: [
"yojson" {= "1.4.1+satysfi"}
"omd"
]
synopsis: "A statically-typed, functional typesetting system"
description: """
SATySFi is a typesetting system with a static type system. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has ML-like syntax, is for defining functions and commands. SATySFi enables you to write documents markuped with flexible commands of your own making. In addition, its informative type error reporting will be a good help to your writing."""

0 comments on commit d39df7b

Please sign in to comment.