How De Bruijn Indices are implemented in TinyIdris

Career GrowthData Tech
Written By Bit Quill Technologies

At Bit Quill we love technology, personal growth and support a culture of sharing. In this video, Jonathan exemplified these elements when he put together a tutorial on De Bruijn Indices in TinyIdris as a way to share his passion for learning and using technology. Subscribe to our RSS to see more blog posts and videos as they’re uploaded!

A short tutorial on how De Bruijn Indices are implemented in TinyIdris, which should also apply to the full language, Idris 2.

Bit Quill Technologies
Previous

Improving Vancouver Rows!!!
Next

What does Bit Quill do?