Tree
- Tree:
3618808cf7bbe47f3af348e6342f593b27aebdee- Date:
- Message:
- Add .gitignore
| Control/ | |
| Data/ | |
| Main.idr | commits | blame |
| Math/ | |
| PrecomputeMain.idr | commits | blame |
| S3D/ | |
| SolidGeometry/ | |
| Test/ | |
| TestMain.idr | commits | blame |
3618808cf7bbe47f3af348e6342f593b27aebdee| Control/ | |
| Data/ | |
| Main.idr | commits | blame |
| Math/ | |
| PrecomputeMain.idr | commits | blame |
| S3D/ | |
| SolidGeometry/ | |
| Test/ | |
| TestMain.idr | commits | blame |