Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Giuseppe Castagna
occurrence-typing
Commits
f92f321b
Commit
f92f321b
authored
Dec 03, 2020
by
Giuseppe Castagna
Browse files
removed old inputs from main.tex
parent
7dbfdd36
Changes
1
Hide whitespace changes
Inline
Side-by-side
main.tex
View file @
f92f321b
...
...
@@ -330,37 +330,7 @@ The authors thank Paul-André Melliès for his help on type ranking.
\label
{
app:roadmap
}
\input
{
roadmappolymorphism
}
\newpage
\section
{
A crack to Flow Analysis
}
\label
{
app:flowanalysis
}
\input
{
flowanalysis
}
%\newpage
%\section{New typecase system}
%\input{typecase}
%\newpage
%\section{New function refinement rules}
%\input{refining2}
%\newpage
%\section{Full new system with normal form}
%\input{new_system}
%\newpage
%\section{Full new system with normal form (experimentation)}
%\input{new_system2}
\newpage
\section
{
New Formalization (Beppe)
}
\input
{
new
_
system
_
beppe
}
\newpage
\section
{
New system with normal form
}
\input
{
new
_
system3
}
\end{document}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment