This is your work, valued
nvim-idris2. EXPERIMENTAL: Idris2 plugin for neovim in Idris2
idris2-sdl. Experimental SDL2 bindings for Idris2
rewrite. Verified directed graph rewriting with Idris
DT-TicTacToe. Dependently typed TicTacToe engines
MasterThesis. TeX
PHDThesis. TeX
