Primary LanguageIdris
basically a reimplementation of this: https://www.youtube.com/watch?v=N9RUqGYuGfw