http://www.n-heptane.com/ [email protected]
n-heptane Evanston, IL
Jeremy Shaw
A fast, low-level HTTP server you can trust
stepcut
A simple Idris program to blink the LED on an Arduino
An OS written in Idris (eventually...)
Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
