roehst

module Main

data Direction = North | South | West | East

turn : Direction -> Direction
turn North = East
turn South = West
turn West = North
turn East = South

graydon

open FStar.Char
open FStar.Seq

(* Helper *)
let max a b = if a > b then a else b

(* Definition *)
let leftpad (c:char) (n:nat) (s:seq char) : seq char =
  let pad = max (n - length s) 0 in
  append (create pad c) s

sandsmark

Enable in Settings -> Storage.

Listing documents (returns json blob): http://10.11.99.1/documents/
Listing documents in folder: http://10.11.99.1/documents/${folder_id}/
Getting thumbnail for last opened page: http://10.11.99.1/thumbnail/${document_id}
Upload/import (standard POST call, with 'file' parameter, accepts pdfs and epubs): http://10.11.99.1/upload/
Download (svg or zip with pngs): http://10.11.99.1/download/${document_id}/{pdf,png}
All other requests are served from /usr/share/remarkable/webui/

taktoa

--------------------------------------------------------------------------------
---- Reset all metaflags -------------------------------------------------------

:unset +m
:unset +r
:unset +s
:unset +t
:unset +c

--------------------------------------------------------------------------------