git.iko.soy/Idris-dev
on 047be9e help sign in
history ofsrc/Idris/Primitives.hs
all commits
c666be8Added prim__bigIntToInt (needs latest EpiVM)Edwin Brady 0dd7396Set totality of primitive operatorsEdwin Brady 397542cA load of primitives and library stuffEdwin Brady 0bc69fbAdded prelude.strings, made believe_me primitiveEdwin Brady d9834c1More string and char primitivesEdwin Brady e261167Add some string primitives (may need latest Epic)Edwin Brady 07f12f9Separate elaboration of declarations and termsEdwin Brady bbaa193Better representation of namesEdwin Brady 4931c20Added Integer (but an Epic bug prevents them compiling properly)Edwin Brady 8784b67Int/Float conversion primitivesEdwin Brady 5afe678Added log/exp (and lib/link directives)Edwin Brady 2d6c12ePrimitive conversion and showingEdwin Brady 1b1a055Improved where; implicit arguments now expanded during elaborationEdwin Brady 95a558bAdded = and reflEdwin Brady ec87a69Some effort at reporting line numbers of errors (top level of decl only)Edwin Brady 20861ecEnough Epic to compile 'hello world' (but not much else yet...)Edwin Brady 38a6bc7Added some library filesEdwin Brady 9d1ecc8Added some syntactic sugar for _|_, () and pairsEdwin Brady de89a04Add ElabInfo to pass through elaboratorEdwin Brady 7123e31Float operationsEdwin Brady a805f47Added constants and some primitive operationsEdwin Brady