Skip to content

jheiling/idris-extras

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits

src/Data

src/Data

 
 

.gitignore

.gitignore

 
 

LICENSE

LICENSE

 
 

README.md

README.md

 
 

build.sh

build.sh

 
 

clean.sh

clean.sh

 
 

extras.ipkg

extras.ipkg

 
 

install.sh

install.sh

 
 

Repository files navigation

idris-extras

About

Some useful functions for idris

Topics

idris

Resources

Readme

License

Unlicense license
Activity

Stars

0 stars

Watchers

4 watching

Forks

0 forks
Report repository

Releases

No releases published

Sponsor this project

Packages

No packages published

Languages