From 311abf70f7de4877b0d58125f601bd69a123f0f1 Mon Sep 17 00:00:00 2001 From: Chase Johnson Date: Thu, 8 Oct 2026 14:29:39 -0500 Subject: [PATCH] Fix broken links on Introductions to Twelf page --- wiki/pages/introductions-to-twelf.elf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/wiki/pages/introductions-to-twelf.elf b/wiki/pages/introductions-to-twelf.elf index 6641e8cf..2d6cdb41 100644 --- a/wiki/pages/introductions-to-twelf.elf +++ b/wiki/pages/introductions-to-twelf.elf @@ -23,12 +23,12 @@ This paper provides a more formal introduction to the modern way of thinking about LF and Twelf than this site does. - Alberto Momigliano's [A Practical Approach to Co-induction in - Twelf](http://www.cs.nott.ac.uk/types06/slides/am.pdf) describes a technique + Twelf](https://momigliano.di.unimi.it/talks/pact.pdf) describes a technique for encoding Twelf-unfriendly co-inductive proofs as Twelf-friendly induction proofs (slides from a talk at TYPES 2006). - John Altidor's - [tutorial](http://jgaltidor.github.io/typetheory_paper.pdf) and - [slides](http://jgaltidor.github.io/twelf_slides.pdf) are accessible to folks + [tutorial](https://jgaltidor.github.io/typetheory_paper/typetheory_paper.pdf) and + [slides](https://jgaltidor.github.io/twelf_slides/twelf_slides.pdf) are accessible to folks without a strong background in programming language foundations. ### Experience reports and commentary