git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
1effd22
help
sign in
history of
tutorial/classes.tex
all commits
c4866f4
More on idioms
Edwin Brady
15 years ago
7e2765b
Idiom brackets and dsl notation in tutorial
Edwin Brady
15 years ago
856f142
Fixed VNil in tutorial (well spotted Cezar :))
Edwin Brady
15 years ago
0b98a91
Debraced tutorial
Edwin Brady
15 years ago
2e9fcd4
Remove semicolons in tutorial
Edwin Brady
15 years ago
c8b0f28
Use new syntax in lib
Edwin Brady
15 years ago
f7c50cf
Monad comprehension example
Edwin Brady
15 years ago
37bb964
Document comprehensions
Edwin Brady
15 years ago
93c06b5
Some formatting
Edwin Brady
15 years ago
e62b7ea
Pattern matching lambda, plus tutorial update
Edwin Brady
15 years ago
17ad913
Modules and namespaces section in tutorial
Edwin Brady
15 years ago
c154f5c
More tutorial: useful types, type classes
Edwin Brady
15 years ago
e5bc6f2
A bit more tutorial
Edwin Brady
15 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