Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
javascript: apply uses an extra stackframe, not good
javascript: add JSFalse to AST
javascript: start javascript code when DOM is ready
javascript: optimize more constructor cases
javascript: optimize case for trampolines
Use llvm-3.3 from a PPA now that llvm.org is no longer providing it
Properly factor cabal workflow
Skip confirmation prompt
javascript: optimize operator calls
javascript: optimize field access
javascript: optimize in conditions
javascript: optimize calling apply on lambdas
javascript: optimize objects
javascript: optimize scope functions
javascript: optimize assignments
javascript: faster lookup tables