Chris Kohlhepp personal blog
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
- Points
- 120
- HN comments
- 7
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2015
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 16, 2015 | The Reasoned Lisper by chriskohlhepp | 120 | 7 |
