a bit of fixed point theory (in LaTTe)
The document(s) can be read and interacted with using:
lein gorilla
They can also be consulted thanks to the Gorilla Repl viewer :
... Happy fixpointing !
Copyright © 2016 Frederic Peschansi -- CC-BY-SA 4.0 (cf. legalcode.txt)