thatonelutenist/website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
website/projects/Idris
History
Exact
Nathan McCarty 99b7ca322e publish
2025-03-16 20:02:21 -04:00
..
src publish 2025-03-16 20:02:21 -04:00
.gitignore Move idris projects to right place 2025-01-20 21:54:54 -05:00
Idris.ipkg FreshLists skeleton 2025-03-15 18:22:52 -04:00
pack.toml Move idris projects to right place 2025-01-20 21:54:54 -05:00