path: root/System Fdom.page

A system based on [GNU Guile]'s [CPS Soup]. Unlike CPS Soup, System F<sub>dom</sub> is strongly typed, with a type system corresponding to System F.

[GNU Guile]: https://www.gnu.org/software/guile/
[CPS Soup]: https://www.gnu.org/software/guile/manual/html_node/CPS-Soup.html