links_edge.hamlbars revision 2cd7e66eae63e18ffbb4d779201c0bdcd618016f
%ul#edge_info
%li
%span Link:
%a{href: '{{edge_url}}/{{edge.info.id}}'}
{{edge.source.info.name}} → {{edge.target.info.name}}
%li
%span Kind:
%span {{edge.info.kind}}
%li
%span Theorem:
%span {{edge.info.theorem}}
%li
%span Proven:
%span {{edge.info.proven}}
%li
%span Local:
%span {{edge.info.local}}
%li
%span Inclusion:
%span {{edge.info.inclusion}}