Andy Matuschak on Twitter: "@TacticalGrace @raichoo Whoa, way cool! Some new language bits for me here; will study…" / Twitter

I adore this extraordinarily beautiful implementation of arbitrary-dimensional, arbitrary-order bezier curves: github.com/hrldcpr/Bezier

3

7

23

.

I gave it a try and translated that into #idris using dependent types gist.github.com/raichoo/6020369

4

3

Here is a Haskell version that ensures that all points have the same dimension: gist.github.com/mchakravarty/6

1

3

Replying to

Whoa, way cool! Some new language bits for me here; will study…

Conversation