Geeks
ziman
/
text
Text framework for Idris
Primary Language
Idris
text GitHub
Markdown
Readme
0
Issues
13
Stargazers
4
Watchers
Stargazers
artob
@asimov-platform
cantora
jameshaydon
Imiron
jgreene
Olathe, KS
juanbono
@lambdaclass
missAnneThorpe
puffnfresh
Atlassian
shokohara
Underscore Co., Ltd.
stjordanis
Greece
timjb
@TNG Technology Consulting GmbH
vmchale
wolverian
@reaktor
yurrriq
@sportradar