Flora :: [Package]

Search a package

@hackage / haskell-rules

A DSL for expressing natural deduction rules in Haskell.

0.1.0.1

About 2 Versions Changelog 2 Dependencies 1 Dependent Security

About 2 Versions Changelog 2 Dependencies 1 Dependent Security

Version history

0.1.0.1
- Uploaded: 11 years ago
- License: GPL-3.0-only
0.1.0.0
- Uploaded: 11 years ago
- License: GPL-3.0-only

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio