1723 shaares
871 private links
871 private links
<blockquote>Documentation for the Pikelet Language</blockquote>
A small dependently-typed langauge. This page contains a list of deduction rules.
<blockquote>Documentation for the Pikelet Language</blockquote>
A small dependently-typed langauge. This page contains a list of deduction rules.
