All Git Users → domdere

2 open source projects by domdere

1. git-submodule-action
A GitHub Action for bumping submodules
2. fp-in-idris
Functional Programing in Scala (in Idris) [Idris]
✭ 16
Idris
1-2 of 2 user projects