How De Bruijn Indices are implemented in TinyIdris
Recently, I've been watching the SPLV20 lectures by Edwin Brady and trying to learn more about the implementation of dependent type theories, which is what led to me creating this video.
Official blog launch!
…we're also all more than just a set of technical skills. We know our stuff, and a lot of cutting edge technology at that, but it's always been about more with our teams and what we can do. Bit Quill has always focused on doing software differently, from how we form teams that are best suited to take on projects, how we manage those teams, and how we deliver - not just on project outcomes, but also advice and expertise - and take things to the next level.