Skip to main content

CrystalDocs builds documentation for every shard, on request. The announcement: Documentation for every shard, on CrystalBits.

Search documentation

Browse Docs CrystalShards About

github.com/giannos-ch/horn

Version:

Filter types

Types

Horn

module

Horn::Expressions

Nested types

Horn::Expressions::And
Horn::Expressions::Appl
Horn::Expressions::Const
Horn::Expressions::Eq
Horn::Expressions::Exists
Horn::Expressions::False
Horn::Expressions::Forall
Horn::Expressions::Lambda
Horn::Expressions::Not
Horn::Expressions::Or
Horn::Expressions::True
Horn::Expressions::Var

Advertisement

Crystal jobs from CrystalGigs

Your posting here
Reach Crystal developers on CrystalGigsFirst party

CrystalDocs.org - Crystal Shard Documentation Hosting

The CrystalBits newsletter

Crystal tutorials, release news and community writing. One email when there is something new, never a stream.

Email address

You will get one confirmation email to check the address is yours. Unsubscribe any time.

GitHub CrystalShards CrystalGigs CrystalBits Crystal Language Stats Sponsor

The Bushido Collective builds and maintains this site.
Licensed under the Apache License 2.0