Aurélien Plazzotta
Results
3
comments of
Aurélien Plazzotta
I suggest ```Vect N T``` like Idris2 :D
Could the keyword-style argument be a candidate for deprecation as the named argument is said in the doc to be more convenient? I admit the latter lacks orthogonality due to...
`nil` is derived from latin _nihil_ which approximately stands for "no thing". There is no thing (pun intended) like emptyness. Even the cosmic void is filled with reversed Kasimir force...