Check out Idris (@s.i.k777) on Linkme