Categories

• Haskell 1
• Compilation 3
• Lambda calculus 1
• Philosophy 1

Haskell

• Traces with monoidal errors

Compilation

• Forget Scala! A Java Backend for Idris (Update)
• Compiler Assisted Automatic Error Detection
• Forget Scala! A Java Backend for Idris

Lambda calculus

• Inject dependencies with Syringe

Philosophy

• Wittgenstein vs Recursion