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
36 weeks 2 days ago
36 weeks 2 days ago
36 weeks 2 days ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 14 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago