Commits

Author Commit Message Labels Comments Date
yoshihiro503
chap1
yoshihiro503
as
yoshihiro503
ワンライナー
yoshihiro503
ign
yoshihiro503
tutorial document
yoshihiro503
ignore
yoshihiro503
add ynot tutorial
yoshihiro503
修正
yoshihiro503
勉強会マップの資料
ma...@ubuntuS.lan
proved: (from + i <= to) -> nth (from -- to) i = Some (from + i). ユーザ: maeda_
ma...@ubuntuS.lan
add nth and some lemma
yoshihiro503
@記法
ma...@ubuntuS.lan
modified range : a > b -> (a -- b) = Nil)
ma...@ubuntuS.lan
append rest takeWhile
yoshihiro503
empty proposition and is_empty dec function
yoshihiro503
example
yoshihiro503
fix2 range
yoshihiro503
fix range
yoshihiro503
fix range
clairvy
append function isNil
clairvy
append length.
yoshihiro503
range function
yoshihiro503
range function
clairvy
append example for first, map.
wof_moriguchi
first, map
wof_moriguchi
first, map
wof_moriguchi
first, map
wof_moriguchi
first, map
clairvy
append map.
clairvy
append function isNil
  1. Prev
  2. Next