FRESH

Hacker News

Carnap – A formal logic framework for Haskell

110 points by ravenical

by keiferski

1 subcomments

If you were wondering, the name comes from a famous philosopher and logician:
https://en.wikipedia.org/wiki/Rudolf_Carnap

by netdevphoenix

3 subcomments

An Open Tower project. Copyright 2015-2024.
Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?

by cartucho1

3 subcomments

For something similar, but in Python, I made this a while ago:
https://logics.readthedocs.io/en/latest/
GUI here:
https://taut-logic.com/

by cubefox

1 subcomments

I don't like the trend of naming software projects after real people. It makes web search harder both for people who try to find the person and for people who try to find the project.

by throwaway4x4

0 subcomment

Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.