Differences

This shows you the differences between two versions of the page.

--- gsf:start [2021/02/09 19:10] – created mtoro
+++ gsf:start [2021/02/09 19:10] – [Prototype Implementation] mtoro
@@ Line 10: / Line 10: @@
-====== Prototype Implementation ======
+====== Pr
-Additionally, an [[http://www.pleiad.cl/research/gsf/software|interactive prototype of GSF is available]], which exhibits both typing derivations and reduction traces, and comes with all the examples  mentioned in the paper, among others.
+ototype Implementation ======
+Additionally, an [[http://www.pleiad.cl/research/gsf/software/|interactive prototype of GSF is available]], which exhibits both typing derivations and reduction traces, and comes with all the examples  mentioned in the paper, among others.