SATySFi
SATySFi copied to clipboard
A statically-typed, functional typesetting system
I noticed that the following code produces an odd error. ```satysfi type int = A module M : sig val a : A end = struct let a = A...
The Satysfi language allows explicit type annotation at let binding with no function arguments like the following: ``` let foo : int = `hello` in ... ``` However, currently, it...
Given the following code ``` type 'a id = 'a module Foo : sig val my-id: ('a -> 'a) id end = struct let my-id a = a end Foo.my-id...
The following code causes SATySFi to crash. ``` type t = [inline-text] inline-cmd module M : sig val \x : t end = struct let-inline \x it = it end...
`test.saty`: ```ocaml module M = struct module N = struct let x = 1 end end module N = struct end let z = M.N.x ``` Typechecking `test.saty` results in...
This proposal is to add support of hyphenation of non-English languages. This is the first step of supporting internationalization. ### Proposal - Add a new type: - `hyphen-dict` Hyphenation pattern....
### Current behavior If a literal string has trailing spaces (U+0020), a `` `` `` style literal removes all the trailing spaces while a `` ``# `` retains all. On...
I really, and often, need math commands `\bar` and `\tilde` as in LaTeX. I know [monaqa/satysfi-azmath](https://github.com/monaqa/satysfi-azmath) provides implementations of such commands but they are unsatisfactory: the user of the commands...
I added five math char classes - sans serif - bold serif - italic sans serif - bold italic sans serif - typewriter and three math font selectors - `\mathit`...
At present `demo/` does not have `satysfi-logo.jpg`, so `make` fails. In this PR I use symlink to `tests/images/satysfi-logo-rgb.jpg` (possibly there is more preferable one).