@fraczak/k 6.0.1 → 6.0.2

package/DOCS/book.html

@@ -1,65 +0,0 @@
-<div data-align="center">
-<pre><code>      { }                         { }
-     /   \       {.lang name}      |
-   lang   by          --&gt;         name
-    |      |                       |
-   &#39;k&#39;  &#39;wojtek&#39;                  &#39;k&#39;</code></pre>
-</div>
-<h1 id="the-k-language-book">The k-language Book</h1>
-<p>This book describes the k programming language - a minimal functional
-language for transforming tree-structured data using partial functions
-and algebraic data types.</p>
-<h2 id="table-of-contents">Table of Contents</h2>
-<ol type="1">
-<li><a href="book/01-introduction.md">Introduction</a></li>
-<li><a href="book/02-syntax-and-values.md">Syntax and Values</a><br />
-</li>
-<li><a href="book/03-types-as-finite-automata.md">Types as Finite
-Automata</a></li>
-<li><a href="book/04-partial-functions-and-composition.md">Partial
-Functions and Composition</a></li>
-<li><a href="book/05-typing-filters-and-normalization.md">Typing,
-Filters, and Normalization</a></li>
-<li><a href="book/06-values-in-memory.md">Values in Memory</a></li>
-<li><a href="book/07-the-partial-function-abi.md">The Partial Function
-ABI</a></li>
-<li><a href="book/08-operational-semantics-and-execution.md">Operational
-Semantics and Execution</a></li>
-<li><a href="book/09-compiler-architecture.md">Compiler
-Architecture</a></li>
-<li><a href="book/10-from-ast-to-intermediate-representation.md">From
-AST to Intermediate Representation</a></li>
-<li><a href="book/11-llvm-basics.md">LLVM Basics</a></li>
-<li><a href="book/12-code-generation.md">Code Generation</a></li>
-<li><a href="book/13-linking-and-execution.md">Linking and
-Execution</a></li>
-<li><a href="book/14-canonical-serialization.md">Canonical
-Serialization</a></li>
-<li><a href="book/15-optimization-and-folding.md">Optimization and
-Folding</a></li>
-<li><a href="book/16-toward-a-universal-schema-registry.md">Toward a
-Universal Schema Registry</a></li>
-</ol>
-<h2 id="appendices">Appendices</h2>
-<ul>
-<li><a
-href="book/appendix-a-implementing-a-prototype-compiler-in-python.md">Appendix
-A: Implementing a Prototype Compiler in Python</a></li>
-<li><a
-href="book/appendix-b-incorporating-external-predefined-types-and-functions.md">Appendix
-B: Incorporating External Predefined Types and Functions</a></li>
-</ul>
-<hr />
-<p><em>Note: This is the master file. Individual chapters are stored in
-the <code>book/</code> directory for easier editing and maintenance.
-Each chapter can be edited independently and the changes will be
-reflected when the individual files are viewed.</em></p>
-<h2 id="usage">Usage</h2>
-<ul>
-<li><strong>For reading</strong>: Click on any chapter link above to
-read individual chapters</li>
-<li><strong>For editing</strong>: Edit the individual chapter files in
-the <code>book/</code> directory</li>
-<li><strong>For publishing</strong>: Combine chapters as needed for
-different output formats</li>
-</ul>

package/DOCS/book.tex

@@ -1,150 +0,0 @@
-% Options for packages loaded elsewhere
-\PassOptionsToPackage{unicode}{hyperref}
-\PassOptionsToPackage{hyphens}{url}
-\documentclass[
-]{article}
-\usepackage{xcolor}
-\usepackage{amsmath,amssymb}
-\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
-\usepackage{iftex}
-\ifPDFTeX
-  \usepackage[T1]{fontenc}
-  \usepackage[utf8]{inputenc}
-  \usepackage{textcomp} % provide euro and other symbols
-\else % if luatex or xetex
-  \usepackage{unicode-math} % this also loads fontspec
-  \defaultfontfeatures{Scale=MatchLowercase}
-  \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
-\fi
-\usepackage{lmodern}
-\ifPDFTeX\else
-  % xetex/luatex font selection
-\fi
-% Use upquote if available, for straight quotes in verbatim environments
-\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
-\IfFileExists{microtype.sty}{% use microtype if available
-  \usepackage[]{microtype}
-  \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
-}{}
-\makeatletter
-\@ifundefined{KOMAClassName}{% if non-KOMA class
-  \IfFileExists{parskip.sty}{%
-    \usepackage{parskip}
-  }{% else
-    \setlength{\parindent}{0pt}
-    \setlength{\parskip}{6pt plus 2pt minus 1pt}}
-}{% if KOMA class
-  \KOMAoptions{parskip=half}}
-\makeatother
-\setlength{\emergencystretch}{3em} % prevent overfull lines
-\providecommand{\tightlist}{%
-  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
-\usepackage{bookmark}
-\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
-\urlstyle{same}
-\hypersetup{
-  pdftitle={k-language},
-  pdfauthor={W. Fraczak},
-  hidelinks,
-  pdfcreator={LaTeX via pandoc}}
-
-\title{k-language}
-\author{W. Fraczak}
-\date{}
-
-\begin{document}
-\maketitle
-
-\begin{verbatim}
-      { }                         { }
-     /   \       {.lang name}      |
-   lang   by          -->         name
-    |      |                       |
-   'k'  'wojtek'                  'k'
-\end{verbatim}
-
-\section{The k-language Book}\label{the-k-language-book}
-
-This book describes the k programming language - a minimal functional
-language for transforming tree-structured data using partial functions
-and algebraic data types.
-
-\subsection{Table of Contents}\label{table-of-contents}
-
-\begin{enumerate}
-\def\labelenumi{\arabic{enumi}.}
-\tightlist
-\item
-  \href{book/01-introduction.md}{Introduction}
-\item
-  \href{book/02-syntax-and-values.md}{Syntax and Values}\\
-\item
-  \href{book/03-types-as-finite-automata.md}{Types as Finite Automata}
-\item
-  \href{book/04-partial-functions-and-composition.md}{Partial Functions
-  and Composition}
-\item
-  \href{book/05-typing-filters-and-normalization.md}{Typing, Filters,
-  and Normalization}
-\item
-  \href{book/06-values-in-memory.md}{Values in Memory}
-\item
-  \href{book/07-the-partial-function-abi.md}{The Partial Function ABI}
-\item
-  \href{book/08-operational-semantics-and-execution.md}{Operational
-  Semantics and Execution}
-\item
-  \href{book/09-compiler-architecture.md}{Compiler Architecture}
-\item
-  \href{book/10-from-ast-to-intermediate-representation.md}{From AST to
-  Intermediate Representation}
-\item
-  \href{book/11-llvm-basics.md}{LLVM Basics}
-\item
-  \href{book/12-code-generation.md}{Code Generation}
-\item
-  \href{book/13-linking-and-execution.md}{Linking and Execution}
-\item
-  \href{book/14-canonical-serialization.md}{Canonical Serialization}
-\item
-  \href{book/15-optimization-and-folding.md}{Optimization and Folding}
-\item
-  \href{book/16-toward-a-universal-schema-registry.md}{Toward a
-  Universal Schema Registry}
-\end{enumerate}
-
-\subsection{Appendices}\label{appendices}
-
-\begin{itemize}
-\tightlist
-\item
-  \href{book/appendix-a-implementing-a-prototype-compiler-in-python.md}{Appendix
-  A: Implementing a Prototype Compiler in Python}
-\item
-  \href{book/appendix-b-incorporating-external-predefined-types-and-functions.md}{Appendix
-  B: Incorporating External Predefined Types and Functions}
-\end{itemize}
-
-\begin{center}\rule{0.5\linewidth}{0.5pt}\end{center}
-
-\emph{Note: This is the master file. Individual chapters are stored in
-the \texttt{book/} directory for easier editing and maintenance. Each
-chapter can be edited independently and the changes will be reflected
-when the individual files are viewed.}
-
-\subsection{Usage}\label{usage}
-
-\begin{itemize}
-\tightlist
-\item
-  \textbf{For reading}: Click on any chapter link above to read
-  individual chapters
-\item
-  \textbf{For editing}: Edit the individual chapter files in the
-  \texttt{book/} directory
-\item
-  \textbf{For publishing}: Combine chapters as needed for different
-  output formats
-\end{itemize}
-
-\end{document}