raichoo github.io

raichoo λΠ-punk - Home

This blog has been created with Hakyll. Syntax highlighting is generated with pygments. Which has been patched for Idris. The code for this blog is hosted on hub.darcs.net. Darcs get http hub.darcs.netraichooraichoo.github.io. All things typed, all things functional. This blog is mainly about my journey into the depths of functional programming and type systems. In my freetime I work on software I consider useful, from compilers to simple scripts. JavaScript backend for Idris. A vim mode for Idris.
traffic

OVERVIEW

The site raichoo.github.io presently has a traffic classification of zero (the lower the more traffic). We have crawled zero pages within the web page raichoo.github.io and found twenty websites referencing raichoo.github.io. We have unearthed one public web sites acquired by raichoo.github.io.
Links to this site
20
Social Links
1

RAICHOO.GITHUB.IO TRAFFIC

The site raichoo.github.io is seeing variant levels of traffic for the duration of the year.
Traffic for raichoo.github.io

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for raichoo.github.io

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for raichoo.github.io

Date Range

All time
This Year
Last Year
Last Month

LINKS TO RAICHOO.GITHUB.IO

MOVED TO raichoo.github.io

Diesen Post per E-Mail versenden. Calling Idris from Javascript and vice-versa.

WHAT DOES RAICHOO.GITHUB.IO LOOK LIKE?

Desktop Screenshot of raichoo.github.io Mobile Screenshot of raichoo.github.io Tablet Screenshot of raichoo.github.io

RAICHOO.GITHUB.IO SERVER

We found that the main root page on raichoo.github.io took three hundred and twenty-eight milliseconds to come up. Our web crawlers could not observe a SSL certificate, so in conclusion our crawlers consider this site not secure.
Load time
0.328 sec
SSL
NOT SECURE
IP
23.235.44.133

SERVER SOFTWARE

We discovered that raichoo.github.io is weilding the GitHub.com operating system.

SITE TITLE

raichoo λΠ-punk - Home

DESCRIPTION

This blog has been created with Hakyll. Syntax highlighting is generated with pygments. Which has been patched for Idris. The code for this blog is hosted on hub.darcs.net. Darcs get http hub.darcs.netraichooraichoo.github.io. All things typed, all things functional. This blog is mainly about my journey into the depths of functional programming and type systems. In my freetime I work on software I consider useful, from compilers to simple scripts. JavaScript backend for Idris. A vim mode for Idris.

PARSED CONTENT

The site had the following in the web page, "This blog has been created with Hakyll." I observed that the web site stated " Syntax highlighting is generated with pygments." They also stated " Which has been patched for Idris. The code for this blog is hosted on hub. All things typed, all things functional. This blog is mainly about my journey into the depths of functional programming and type systems. In my freetime I work on software I consider useful, from compilers to simple scripts. A vim mode for Idris."

SEE MORE WEB PAGES

RyokoSeigoKumori Tyler - DeviantArt

Forgot Password or Username? Deviant for 10 Years. This is the place where you can personalize your profile! By moving, adding and personalizing widgets.

thoughtsgonedigital My Thoughts Going Digital

A Poem A Day 01. The summer heat reigns supreme. And continue to fuel my drive. To face the world anew each day. With my spirit intact no matter what they say. I cannot help but continue to wish for a dream. One day I really hope to gleam. The proverbial light at the end of the tunnel. So what is home? .