Commit 2bac800c authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Added a link to the toplevel.

parent f28d7d65
......@@ -23,7 +23,10 @@ record types (Section \ref{ssec:struct}) and the refinement of function types
(Section \ref{sec:refining} with the rule of Appendix~\ref{app:optimize}). The implementation is rather crude and
consist of 2000 lines of OCaml code, including parsing, type-checking
of programs and pretty printing of types. We demonstrate the output of
our type-checking implementation in Table~\ref{tab:implem}.
our type-checking implementation in Table~\ref{tab:implem}. These
examples and others can be tested in the online toplevel available at
\url{https://occtyping.github.io/} (the corresponding repository is
anonymized).
\input{code_table}
In this table, the second column gives a code fragment and the third
column the type deduced by our implementation. Code~1 is a
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment