Implement your Own Type Checker

Proudly presented at Lambda World

serranofp.com/types-workshop

Slides

Code

Recommended plug-ins for IntelliJ

• Arrow for Kotlin
• Haskell LSP
  • Requires working haskell-language-server, use GHCUp to get it

Recommended plug-ins for VSCode

• Haskell
• New-VSC-Prolog
  • Requires working swi-prolog