This website requires JavaScript.
My Profile
Explore
Sign in
toki
/
idris2-render
Watch
1
Star
0
Fork
You've already forked idris2-render
0
Code
Issues
Pull requests
Activity
No description
12
commits
1
branch
0
tags
49
KiB
Idris
100%
main
Find a file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Exact
Exact
Union
Repository files (latest commit first)
Filename
Latest commit message
Latest commit date
Kiana Sheibani
2628b42a54
Fix rendering bugs
2022-12-01 08:43:57 -05:00
src
/Render
Fix rendering bugs
2022-12-01 08:43:57 -05:00
.gitignore
Add PPM image exporting
2022-11-30 12:56:52 -05:00
LICENSE
Create basic package structure
2022-11-29 13:38:17 -05:00
README.md
Create basic package structure
2022-11-29 13:38:17 -05:00
render.ipkg
Add NumIdr as a dependency
2022-11-30 22:45:39 -05:00
README.md
Idris2 Renderer