Happy Pi Day! Great day to work with the Effekt language:
Happy Pi Day! Great day to work with the Effekt language:
@marvin Wonderful!
Here's my quick attempt.
Pi as the first positive root of sine using Newton's method with a twist: sine (and cosine) are defined as mutually recursive push-streams representing their Taylor series, all implemented in the Effekt language.