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)…
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)…