git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d7b2913
help
sign in
history of
llvm/defs.c
all commits
5946416
Implement argument access under LLVM codegen
Benjamin Saunders
13 years ago
c614366
Print failed pattern match error messages to stderr
Benjamin Saunders
13 years ago
5e8a597
Adding several functions to interact with environment variables.
Gabe McArthur
13 years ago
c8530b3
Modifying the System.getEnv function to return IO (Maybe String)
Gabe McArthur
13 years ago
dd51bf7
StrRev primitive too
Benjamin Saunders
13 years ago
acce7da
GC GMP-allocated memory
Benjamin Saunders
13 years ago
531cbe3
Formatting
Benjamin Saunders
13 years ago
fc17a3f
Implement more primitives and foreign lib functions
Benjamin Saunders
13 years ago
d73f9bd
Fix buffer overflow and 64-bit int toStr truncation
Benjamin Saunders
13 years ago
baf59ac
StrCons and conversions to Integer
Benjamin Saunders
13 years ago
3e50b1b
More informative case failure errors, cleanup
Benjamin Saunders
13 years ago
25d1e1f
Fix comparison return values and implement Integer truncation
Benjamin Saunders
13 years ago
93522bc
Object and executable outputs
Benjamin Saunders
13 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list