Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Rafbill
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
Rafbill
11y ago
I have a few questions: a) When is the first alpha release planned ? b) Did you go the Coq/Agda route with dependent types (only total functions can be defined), the Haskell (once the DependentTypes extension lands) route (partial/