Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| gsf:start [2021/02/09 19:10] – [Prototype Implementation] mtoro | gsf:start [2021/02/09 19:10] (current) – mtoro |
|---|
| |
| |
| ====== Pr | ====== Prototype Implementation ====== |
| 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. | 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. |
