3 ms·
When I researched this concept previously I did come across Idris but I did not actually study it much. I will do that now, thank you for reminding me of it ag
by kettlecorn 7y ago
When I researched this concept previously I did come across Idris but I did not actually study it much.
I will do that now, thank you for reminding me of it again!