Sure but can you append a list with two elements to another list with to elements
-
-
Do you think
@pigworker's linear dependent types/quantitative type theory is mature enough to be used a the core of a dependent language? -
Trying it would be one way to find out :). I did a toy implementation a while back, and it’s very promising.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.