toki/idris2-render
1
0
Fork 0
Code Issues Pull requests Activity
idris2-render/src/Render
History
Kiana Sheibani 2628b42a54
Fix rendering bugs
2022-12-01 08:43:57 -05:00
..
Object Add NumIdr as a dependency 2022-11-30 22:45:39 -05:00
Camera.idr Fix rendering bugs 2022-12-01 08:43:57 -05:00
Color.idr Add NumIdr as a dependency 2022-11-30 22:45:39 -05:00
Object.idr Add NumIdr as a dependency 2022-11-30 22:45:39 -05:00
Scene.idr Fix rendering bugs 2022-12-01 08:43:57 -05:00