Skip to content
Snippets Groups Projects
Commit afaada95 authored by Ben Cumming's avatar Ben Cumming Committed by GitHub
Browse files

Merge pull request #58 from halfflat/feature/lex-ordering-macro

Add macro to help define lexicographic orderings.
parents c2adfeb4 25a8bc45
No related branches found
No related tags found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment