3 ms·Proof in Idris that exponential and linear time fib functions are equivalent1 points by insulanian 9y ago