<b><ahref="https://eisfunke.com">eisfunke.com</a>:</b> My blog about technology, science, politics and photography.<br/>
<b><ahref="https://github.com/Eisfunke/katrin">katrin</a>:</b> The vague idea of a innovative, dependently-typed functional programming and markup language.
</p>
<ul>
<li><b><ahref="https://eisfunke.com">eisfunke.com</a>:</b> My blog about technology, science, politics and photography.</li>
<li><b><ahref="https://github.com/Eisfunke/katrin">katrin</a>:</b> The vague idea of a innovative, dependently-typed functional programming and markup language.</li>