10 lines
126 B
Markdown
10 lines
126 B
Markdown
|
---
|
||
|
|
title: kagu
|
||
|
|
subtitle: A toy dependently-typed language
|
||
|
|
year: "2021"
|
||
|
|
labels: {}
|
||
|
|
---
|
||
|
|
|
||
|
|
Nothing to see here (yet) (or ever).
|
||
|
|
|