User loginNavigation |
archivesIteration function in lambda calculusI have a function like this iter :: Int -> (a -> a) -> a -> a how can i define such function in un-typed lambda calculus ? any hint/help will be appreciated. |
Browse archivesActive forum topics |
Recent comments
1 day 21 hours ago
2 days 18 hours ago
3 days 22 hours ago
3 days 23 hours ago
1 week 1 day ago
1 week 2 days ago
1 week 2 days ago
4 weeks 2 days ago
5 weeks 1 day ago
5 weeks 1 day ago