Geeks
andyarvanitis
/
IdrisObjCExperiment
Primary Language
Idris
IdrisObjCExperiment GitHub
Markdown
Readme
1
Issue
18
Stargazers
4
Watchers
Issues
Open issue
Implicit lifting to IO
#1 opened
11 years ago
by
jonsterling
5