/Lalalulanium

Pure functional ray tracer using FUNLIB!

Primary LanguageCoq

Lalalulanium

Pure functional ray tracer using FUNLIB!

RENDERS TRIANGLES AND HAS AN ACCELERATION STRUCTURE (RECURSIVE BOUNDING BOXES FOR MESHES OF TRIANGLES (DID I MENTION IT CAN RENDER TRIANGLES)) multicored using nfun lib too!

pushes pixels into a ppm file through a pure functional lazy FUNLIB pipeline: