Normative systems

Software, standards, and documentation relating to the Calculemus methodology for interpreting sources of norms, and the FLINT language for describing normative systems.

For eFLINT matters, see https://gitlab.com/eflint/haskell-implementation.