Malfunction backend for Idris with a FFI to OCaml

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

A LUG Talk about Idris, a general purpose language with dependent types.

📖 Real-World Machine Learning

Calvin Talks Types

A verification program that proves Dijkstra's algorithm correctness written in Idris.