|
|
|
|
|
|
by kryptiskt
1035 days ago
|
|
|
It's intended to be a practical research language. Its niche is as a dependently typed language that is useful for writing real programs. But it also needs to be a toolkit for research into dependently typed programming, since most of the devs have to publish. |
|
|