index
:
idris.git
master
Idris code snippets
KJ
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
master
Use an interface for dispatching.
Kjetil Orbekk
7 years