diff options
| -rw-r--r-- | System Fdom.page | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/System Fdom.page b/System Fdom.page new file mode 100644 index 0000000..f61b598 --- /dev/null +++ b/System Fdom.page @@ -0,0 +1,4 @@ +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
\ No newline at end of file |