Explore >> Select a destination
|
You are here 
|
mpark.github.io | ||
| | | | |
nelari.us
|
|
| | | | | A small look at some useful template techniques, in the context of trying to bind functions to a virtual machine. I wrote this post mostly for myself so that these techniques would be listed all in one place. | |
| | | | |
eyakubovich.github.io
|
|
| | | | | In the previous post, we developed a logarithmic depth accumulate() function that can be used to emulate a for-loop. In this post, we'll look at how to construct a function that emulates a while-loop with the recursive depth of O(lg(n)) where n is the number of iterations of the while-loop.... | |
| | | | |
pydong.org
|
|
| | | | | P1306 gives us compile time repetition of a statement for each element of a range - what if we instead want the elements as a pack without introducing a new function scope? | |
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
