Post AW8pxOy7JL6ivC9YPI by Gopiandcode@fosstodon.org
 (DIR) More posts by Gopiandcode@fosstodon.org
 (DIR) Post #AW8oFujRkpQ2jozUYq by hn100@mastodon.world
       2023-05-29T08:10:49Z
       
       0 likes, 0 repeats
       
       Functional Programming in Leanhttps://leanprover.github.io/functional_programming_in_lean/https://news.ycombinator.com/item?id=36107796
       
 (DIR) Post #AW8pxOy7JL6ivC9YPI by Gopiandcode@fosstodon.org
       2023-05-29T08:29:52Z
       
       0 likes, 0 repeats
       
       @hn100 I've heard that Lean has a pretty mean macro system.