f -package:turtle

Render a floating point number using normal notation, with the given number of decimal places.

Uninterpreted function in the theorem

An uninterpreted function

Declare an uninterpreted function that works over Q's

Calculate the frequency of a note, with A corresponding to 220 Hz.

The Church-encoded free monad for a functor f. It is asymptotically more efficient to use (>>=) for F than it is to (>>=) with Free. https://ekmett.github.io/reader/2011/free-monads-for-less-2/

The "free monad" for a functor f.

Arrays represented as foreign buffers in the C heap.

Generic type F. Can be used to test polymorphic functions with five type variables. This type is homomorphic to A, B, C, D, E and Nat6.