st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2026-01-03 20:48:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Continue spec;

Browse source
This commit is contained in:
Dmitry Boulytchev 2020-02-17 01:51:52 +03:00
parent 83bd6d7ad8
commit bd80caf440
10 changed files with 181 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

84
doc/spec/spec.tex
View file

@ -28,10 +28,7 @@
\usepackage{xspace}
\usepackage{bm}
\usepackage{enumitem}
\makeatletter
\makeatother
\usepackage{mathpazo}
\definecolor{shadecolor}{gray}{1.00}
\definecolor{darkgray}{gray}{0.30}
@ -74,7 +71,7 @@
\renewcommand{\emptyset}{\varnothing}
\newcommand{\dom}[1]{\mathtt{dom}\;{#1}}
\newcommand{\primi}[2]{\mathbf{#1}\;{#2}}
\newcommand{\lama}{$\lambda\mbox{\textsc{Algol}}$\xspace}
\newcommand{\lama}{$\lambda\kern -.1667em\lower -.5ex\hbox{$a$}\kern -.1000em\lower .2ex\hbox{$\mathcal M$}\kern -.1000em\lower -.5ex\hbox{$a$}$\xspace}
%\newcommand{\sial}{S\textit{\lower -.5ex\hbox{I}\kern -.1667em\lower .5ex\hbox {A}}\kern -.125emL\@\xspace}
\definecolor{light-gray}{gray}{0.90}
\newcommand{\graybox}[1]{\colorbox{light-gray}{#1}}
@ -90,7 +87,7 @@
\lstdefinelanguage{alm}{
keywords={skip,if,then,else,elif,fi,while,do,od,repeat,until,for,fun,local,public,return,import,length,
string,case,of,esac,when,boxed,unboxed,string,sexp,array,infix,infixl,infixr,at,before,after,true,false},
string,case,of,esac,when,boxed,unboxed,string,sexp,array,infix,infixl,infixr,at,before,after,true,false,eta,lazy},
sensitive=true,
basicstyle=\small,
%commentstyle=\scriptsize\rmfamily,
@ -118,13 +115,82 @@ language=alm
\sloppy
\title{\lama Language Definition}
%\title{\lama Language Definition}
\author{Dmitry Boulytchev}
%\author{Dmitry Boulytchev}
\begin{document}
\maketitle
\begin{titlepage} % Suppresses displaying the page number on the title page and the subsequent page counts as page 1
\newcommand{\HRule}{\rule{\linewidth}{0.5mm}} % Defines a new command for horizontal lines, change thickness here
\center % Centre everything on the page
%------------------------------------------------
% Headings
%------------------------------------------------
\includegraphics[scale=0.5]{jetbrains.png}\\[3cm]
% \textsc{\LARGE JetBrains Research}\\[2.5cm] % Main heading such as the name of your university/college
% \textsc{\Large Major Heading}\\[0.5cm] % Major heading such as course name
% \textsc{\large Minor Heading}\\[0.5cm] % Minor heading such as course title
%------------------------------------------------
% Title
%------------------------------------------------
\HRule\\[0.4cm]
{\huge\bfseries \lama Language Specification}\\[0.4cm] % Title of your document
\HRule\\[1.5cm]
%------------------------------------------------
% Author(s)
%------------------------------------------------
\begin{minipage}{0.4\textwidth}
\begin{flushleft}
\large
\textit{Author}\\
Dmitry \textsc{Boulytchev} % Your name
\end{flushleft}
\end{minipage}
%~
%\begin{minipage}{0.4\textwidth}
% \begin{flushright}
% \large
% \textit{Supervisor}\\
% Dr. Caroline \textsc{Becker} % Supervisor's name
% \end{flushright}
%\end{minipage}
% If you don't want a supervisor, uncomment the two lines below and comment the code above
%{\large\textit{Author}}\\
%John \textsc{Smith} % Your name
%------------------------------------------------
% Date
%------------------------------------------------
\vfill\vfill\vfill % Position the date 3/4 down the remaining page
{\large\input{commitdate}} % Date, change the \today to a set date if you want to be precise
%------------------------------------------------
% Logo
%------------------------------------------------
%\vfill\vfill
%\includegraphics[width=0.2\textwidth]{placeholder.jpg}\\[1cm] % Include a department/university logo - this will require the graphicx package
%----------------------------------------------------------------------------------------
\vfill % Push the date up 1/4 of the remaining page
\end{titlepage}
\tableofcontents