Skip to content

edwinb/SDL-idris

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits

src

src

 
 

test

test

 
 

Makefile

Makefile

 
 

README.md

README.md

 
 

sdl.ipkg

sdl.ipkg

 
 

Repository files navigation

SDL-idris

SDL bindings package for idris

About

SDL bindings package for idris

Resources

Readme
Activity

Stars

46 stars

Watchers

6 watching

Forks

19 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages