Archive

2013

May

• May 7, 2013 » Forget Scala! A Java Backend for Idris (Update)

March

• March 14, 2013 » Inject dependencies with Syringe
• March 14, 2013 » Compiler Assisted Automatic Error Detection
• March 12, 2013 » Wittgenstein vs Recursion
• March 12, 2013 » Traces with monoidal errors
• March 12, 2013 » Forget Scala! A Java Backend for Idris