non/spire — pull request #19 by tixxit (2012-06-21 05:37:51+00:00)
Title: Add example of finite fields.

Adds an example of finite fields, where the order is part of the type. This is used to ensure type safe division. Current type-level primality test is not very quick though.