diff options
| author | nathan <> | 2023-09-21 01:12:54 -0500 |
|---|---|---|
| committer | nathan <> | 2023-09-21 01:12:54 -0500 |
| commit | e49b67af7125cc7c5a5ec6f321057bee1036ba05 (patch) | |
| tree | 57cffcd8f762dc7fd17c70f1bb05356bd9c8b468 | |
| parent | 147acad171c06b95397cd44ad2635704ed341885 (diff) | |
initial paragraph
| -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 |