3 ms·I am pretty sure it is actually Idris based on the interface and implementation keywords.by thethirdone 5y agoI am pretty sure it is actually Idris based on the interface and implementation keywords.