git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
7afa310
help
sign in
history of
src/Pkg/PParser.hs
all commits
24acd05
windows executables should end with .exe
Heather
12 years ago
67f7373
Support builds that doesn't use cabal for libs and rts
niklas
12 years ago
e2a34a8
Add --testpkg option + tests section in IPKG files
David Raymond Christiansen
12 years ago
9be5866
started working on new cmd arg parser
klrr
12 years ago
eb29608
Properly ignore comments in ipkg files
David Raymond Christiansen
13 years ago
5265109
Allow comments in .ipkg files
David Raymond Christiansen
13 years ago
654c0f8
Make sure package parsing reaches end of file
Edwin Brady
13 years ago
46e894d
Use Data.Text for variable names
Edwin Brady
13 years ago
5000aeb
Add a Cabal library
Brian McKenna
13 years ago
8e974c7
Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies
Ahmad Salim Al-Sibahi
13 years ago
3c32b65
Whitespace cleanup.
George Leontiev
13 years ago
6d7a6aa
Change comment rules Comments cannot begin '{-|' or '--|'. This is now reserved for documentation comments, which will be part of the syntax to support documentation at the REPL.
Edwin Brady
14 years ago
1e52324
Added simple library packaging system Now used for the prelude (see lib/base.ipkg)
Edwin Brady
14 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