61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady13 years ago 2311d55rename O into Zraichoo13 years ago 773e454Make ChType a member of IntTy ITChar.Jan Bessai13 years ago f2f0e07Default to Integer instead of Int, and adjust fromInteger accordinglyBenjamin Saunders13 years ago fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders13 years ago 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen13 years ago 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady13 years ago 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders14 years ago b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders14 years ago e294e0eProper initialization semantics for raw memoryJan Bessai14 years ago b6effdbMade do_poke privateJan Bessai14 years ago 441d941An effect to allocate and manipulate memoryJan Bessai14 years ago