st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Typos in spec

Browse source
This commit is contained in:
Dmitry Boulytchev 2020-09-12 20:56:04 +03:00
parent cba6a3e0d2
commit 3d1cd0dc45
4 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
lama-spec.pdf
View file

Binary file not shown.

2
spec/04.extensions.tex
View file

@ -62,7 +62,7 @@ correspondingly, then importing "\lstinline|B|" after "\lstinline|B|" will res
\label{custom_infix_construct} \label{custom_infix_construct}
\end{figure} \end{figure}
\section{Lazy Values and Eta-extension} \section{Lazy Values and Eta-expansion}
An expression An expression

2
src/stdpath.ml
View file

@ -1 +1 @@
let path = "/home/db/.opam/4.07.1+fp/share/Lama" let path = "/home/db/.opam/4.08.1/share/Lama"

2
src/version.ml
View file

@ -1 +1 @@
let version = "Version 1.00, 2dbd6808a, Tue Sep 8 01:50:16 2020 +0300" let version = "Version 1.00, cba6a3e0d, Thu Sep 10 22:15:57 2020 +0300"