Mercurial > hg > Members > kono > Proof > category
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 |