Commit graph

2 commits

Author SHA1 Message Date
37e92392ca Basic syntax highlighting 2025-02-04 03:10:40 -05:00
43585ac89e Move idris projects to right place 2025-01-20 21:54:54 -05:00