5.4. Partial and Unsafe Recursive Definitions🔗

This section will describe partial and unsafe definitions:

• Interaction with the kernel and elaborator

• What guarantees are there, and what aren't there?

• How to bridge from unsafe to safe code?

Tracked at issue #59