log system-f.agda @ 404:07bea66e5ceb

age author description
2014-12-24 Shinji KONO try equalizer from limit
2014-05-04 Shinji KONO fix
2014-05-03 Shinji KONO fix
2014-04-22 Shinji KONO list try ..
2014-04-19 Shinji KONO fix on System F
2014-04-18 Shinji KONO ItInt on system F
2014-03-29 Shinji KONO assoc in sysem-T
2014-03-29 Shinji KONO sym of sum and mul in system T
2014-03-24 Shinji KONO add Tree example ( not yet worked )
2014-03-23 Shinji KONO λ
2014-03-22 Shinji KONO fix
2014-03-22 Shinji KONO add : Int X -> Int X -> Int X
2014-03-22 Shinji KONO factorial still have a problem
2014-03-22 Shinji KONO factoral done.
2014-03-22 Shinji KONO fact
2014-03-22 Shinji KONO remove module level
2014-03-22 Shinji KONO no yellow on append example
2014-03-22 Shinji KONO Append
2014-03-22 Shinji KONO fix Emp commnet
2014-03-21 Shinji KONO fix
2014-03-20 Shinji KONO Tree
2014-03-20 Shinji KONO R lemma
2014-03-19 Shinji KONO fact error on R
2014-03-19 Shinji KONO Int
2014-03-19 Shinji KONO Emp with yellow
2014-03-17 Shinji KONO fix Emp
2014-03-17 Shinji KONO Emp in System F
2014-03-16 Shinji KONO fx
2014-03-16 Shinji KONO iota
2014-03-16 Shinji KONO Emp and Sum first try