j
k
j a
j l
On 21 November 2014 09:35, Antonio Nikishaev wrote:
type instance Replicate (n :: Nat) r = If (n == 0) '[] (r ': Replicate (If (n==0) 0 (n-1)) r)
Interesting!
Back to the thread
Back to the list
