equal
deleted
inserted
replaced
3161 add_interpreter "List.append" List_append_interpreter #> |
3161 add_interpreter "List.append" List_append_interpreter #> |
3162 (* UNSOUND |
3162 (* UNSOUND |
3163 add_interpreter "lfp" lfp_interpreter #> |
3163 add_interpreter "lfp" lfp_interpreter #> |
3164 add_interpreter "gfp" gfp_interpreter #> |
3164 add_interpreter "gfp" gfp_interpreter #> |
3165 *) |
3165 *) |
3166 add_interpreter "Product_Type.fst" Product_Type_fst_interpreter #> |
3166 add_interpreter "Product_Type.prod.fst" Product_Type_fst_interpreter #> |
3167 add_interpreter "Product_Type.snd" Product_Type_snd_interpreter #> |
3167 add_interpreter "Product_Type.prod.snd" Product_Type_snd_interpreter #> |
3168 add_printer "stlc" stlc_printer #> |
3168 add_printer "stlc" stlc_printer #> |
3169 add_printer "set" set_printer #> |
3169 add_printer "set" set_printer #> |
3170 add_printer "IDT" IDT_printer; |
3170 add_printer "IDT" IDT_printer; |
3171 |
3171 |
3172 |
3172 |