We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Link to Committed choice nondeterminism
Link to Type classes
Link to Existential types
Link to Maps
Link to Abstract types
Link to Modules
Link to Higher-order programming
Link to Insts
Link to Zebra puzzle
Link to Lists
Link to Basic goals.
Link to Predicates and functions.
Add a couple of suggestions to the tutorial outline.
Link to Equivalence types.
Link to Discriminated unions.
Link to RPN calculator; fiddle with outline.
Updated Tutorial (markdown)
Created Tutorial (markdown)