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.
What does Bit Quill do?
We are often asked what we do by people interested in learning about Bit Quill to help them understand how we can collaborate together, so we put together this brief 2:46m video to describe what we do by looking at some examples of projects we’ve undertaken.
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.