About refl.life1 January 0001·1 minIt's a website with some ramblings of someone trying to figure out how to work with ITPs (specifically Agda).