Dom De Re

Results 3 repositories owned by Dom De Re

fp-in-idris

16
Stars
2
Forks
Watchers

Functional Programing in Scala (in Idris) [Idris]

git-submodule-action

30
Stars
10
Forks
Watchers

A GitHub Action for bumping submodules

haskell-lint-action

16
Stars
3
Forks
Watchers

github action for running hlint