satysfi-code-printer

Typeset source code with SATySFi.

Install

You can install code-printer package with Satyrographos.

opam pin add "git+https://github.com/puripuri2100/satysfi-code-printer.git"

opam install satysfi-code-printer

satyrographos install

OR

opam update

opam install satysfi-code-printer

satyrographos install

After installation, you can import this package by writing the code in preamble.

@require: code-printer/code-printer
@require: code-printer/code-syntax
@require: code-printer/code-theme

Usage

Write the code like this:

+p{\inline-code (`inline_code`);}
+code-printer (```let-rec factorial n =
  match n with
  | 0 -> 1
  | _ -> n * (factorial (n - 1))```);

When typesetting code with syntax-highlight, write the code like this:

+p{\inline-code ?:(CodePrinter.make-config CodeSyntax.rust CodeTheme.basic-light) (`inline_code`);}
+code-printer ?:(
  CodePrinter.make-config CodeSyntax.satysfi CodeTheme.basic-dark
)(```let-rec factorial n =
  match n with
  | 0 -> 1
  | _ -> n * (factorial (n - 1))```);

CodePrinter.make-config function sets config of syntax and color.

List of syntax config constant:

• CodeSyntax.rust
• CodeSyntax.ocaml
• CodeSyntax.satysfi
• CodeSyntax.cobol
• CodeSyntax.c
• CodeSyntax.cpp
• CodeSyntax.csharp
• CodeSyntax.d
• CodeSyntax.erlang
• CodeSyntax.fsharp
• CodeSyntax.fortran
• CodeSyntax.go
• CodeSyntax.haskell
• CodeSyntax.html
• CodeSyntax.java
• CodeSyntax.javascript
• CodeSyntax.json
• CodeSyntax.json5
• CodeSyntax.julia
• CodeSyntax.kotlin
• CodeSyntax.lua
• CodeSyntax.lisp
• CodeSyntax.nim
• CodeSyntax.makefile
• CodeSyntax.shell
• CodeSyntax.perl
• CodeSyntax.prolog
• CodeSyntax.php
• CodeSyntax.python
• CodeSyntax.r
• CodeSyntax.ruby
• CodeSyntax.scala
• CodeSyntax.swift
• CodeSyntax.tex
• CodeSyntax.toml
• CodeSyntax.typescript
• CodeSyntax.visualbasic
• CodeSyntax.xml

List of color theme config constant:

• CodeTheme.basic-light
• CodeTheme.basic-dark
• CodeTheme.gruvbox-light
• CodeTheme.gruvbox-dark
• CodeTheme.dracula
• CodeTheme.iceberg-dark
• CodeTheme.iceberg-light
• CodeTheme.tyokyo-night
• CodeTheme.tyokyo-night-strom
• CodeTheme.tyokyo-night-light
• CodeTheme.ayu-dark
• CodeTheme.ayu-mirage
• CodeTheme.ayu-light
• CodeTheme.spacegray-eighties
• CodeTheme.spacegray-mocha
• CodeTheme.spacegray-ocean-dark
• CodeTheme.spacegray-ocean-light
• CodeTheme.night-owl
• CodeTheme.light-owl
• CodeTheme.winteriscoming-dark-blue
• CodeTheme.winteriscoming-dark-black
• CodeTheme.winteriscoming-light
• CodeTheme.one-light

License

This package released under the MIT license.

---

(c) 2021 Naoki Kaneko (a.k.a. "puripuri2100")