Geeks
shmish111
/
smoke-hill
A package set of Idris libraries
Primary Language
Nix
smoke-hill GitHub
Markdown
Readme
1
Issue
8
Stargazers
4
Watchers
Stargazers
alexhumphreys
AleXoundOS
Tbilisi, Georgia
andorp
https://www.redbubble.com/shop/ap/92458473
berewt
@input-output-hk
chrrasmussen
Norway
Pet3ris
Auditless
steshaw
@tweag
tkersey
@thisisartium