I adore this extraordinarily beautiful implementation of arbitrary-dimensional, arbitrary-order bezier curves: github.com/hrldcpr/Bezier
Conversation
Replying to
. I gave it a try and translated that into #idris using dependent types gist.github.com/raichoo/6020369
4
3
2
Show replies
Replying to
The main thing is that bezier is total, bezier [] is ruled out by the typesystem. Also all points have to have the same dim.
1
Nice. Both of those are excellent things to have specified by the types!