├── README.md ├── arc ├── Makefile ├── README.md ├── arc.epub ├── arc.hpp ├── calc.m ├── calc_arc.cpp ├── calc_smp.cpp ├── epub.css ├── mkepub.sh ├── test.m ├── test_arc.cpp ├── test_smp.cpp └── title.txt ├── asmjs └── index.html ├── ats ├── README.md ├── beautify │ ├── Makefile │ ├── README.md │ ├── beauty.py │ ├── main.dats │ ├── parser.dats │ ├── parser.hats │ ├── parser.sats │ ├── peg.dats │ ├── peg.hats │ ├── peg.sats │ └── test.py ├── calc │ ├── Makefile │ ├── README.md │ ├── calc.dats │ ├── calc_cpy.dats │ └── calc_ref.dats ├── compiled_c_macro.md ├── libraries │ ├── ATSPRE_all_in_one.md │ ├── DATS │ │ ├── array.md │ │ ├── array_prf.md │ │ ├── arrayptr.md │ │ ├── arrayref.md │ │ ├── basics.md │ │ ├── bool.md │ │ ├── char.md │ │ ├── checkast.md │ │ ├── filebas.md │ │ ├── float.md │ │ ├── gprint.md │ │ ├── integer.md │ │ ├── intrange.md │ │ ├── list.md │ │ ├── list_vt.md │ │ ├── matrix.md │ │ ├── matrixptr.md │ │ ├── matrixref.md │ │ ├── memory.md │ │ ├── option.md │ │ ├── option_vt.md │ │ ├── pointer.md │ │ ├── stream.md │ │ ├── stream_vt.md │ │ ├── string.md │ │ ├── strptr.md │ │ ├── tostring.md │ │ └── unsafe.md │ ├── ML │ │ ├── Makefile │ │ ├── itoa.dats │ │ ├── list0.dats │ │ ├── string.md │ │ ├── string_append.dats │ │ ├── string_copy.dats │ │ ├── string_explode.dats │ │ ├── string_foreach.dats │ │ ├── string_implode.dats │ │ ├── string_make_substring.dats │ │ ├── string_sing.dats │ │ ├── string_tabulate.dats │ │ └── stringlst_concat.dats │ ├── README.md │ ├── SATS │ │ ├── array.md │ │ ├── arrayptr.md │ │ ├── arrayref.md │ │ ├── bool.md │ │ ├── char.md │ │ ├── checkast.md │ │ ├── filebas.md │ │ ├── float.md │ │ ├── gprint.md │ │ ├── integer.md │ │ ├── integer_fixed.md │ │ ├── integer_ptr.md │ │ ├── intrange.md │ │ ├── list.md │ │ ├── list_vt.md │ │ ├── matrix.md │ │ ├── matrixptr.md │ │ ├── matrixref.md │ │ ├── memory.md │ │ ├── option.md │ │ ├── option_vt.md │ │ ├── pointer.md │ │ ├── reference.md │ │ ├── stream.md │ │ ├── stream_vt.md │ │ ├── string.md │ │ ├── strptr.md │ │ ├── tostring.md │ │ ├── tuple.md │ │ └── unsafe.md │ ├── basics_dyn.md │ ├── basics_gen.md │ ├── basics_pre.md │ ├── basics_sta.md │ ├── fixity.md │ ├── lmacrodef.md │ ├── macrodef.md │ └── string │ │ ├── lte_string_string.dats │ │ ├── string_head.dats │ │ ├── string_is_empty.dats │ │ ├── string_isnot_empty.dats │ │ ├── string_tail.dats │ │ └── strlen.dats ├── parse │ ├── Makefile │ ├── README.md │ ├── a.txt │ ├── main.dats │ ├── parser.dats │ ├── parser.hats │ ├── parser.sats │ ├── peg.dats │ ├── peg.hats │ ├── peg.sats │ ├── syntax.dats │ ├── syntax.hats │ └── syntax.sats └── start_ats │ ├── README.md │ └── src │ ├── Makefile │ ├── array.dats │ ├── atsfunc.dats │ ├── case.dats │ ├── datatype.dats │ ├── fn.dats │ ├── for.dats │ ├── fun.dats │ ├── hello.dats │ ├── if.dats │ ├── int.dats │ ├── int2.dats │ ├── let.dats │ ├── main.c │ ├── misc │ ├── Makefile │ └── misc.dats │ ├── poly.dats │ ├── record.dats │ ├── tuple.dats │ ├── var.dats │ ├── where.dats │ └── while.dats ├── clean ├── Makefile └── hello1.icl ├── coq ├── Makefile ├── README.md ├── calc │ ├── Makefile │ ├── README.md │ ├── calc.v │ └── main.ml ├── fact │ ├── Makefile │ ├── README.md │ ├── fact.v │ └── main.ml ├── hello │ ├── Makefile │ ├── README.md │ ├── hello.v │ └── main.ml ├── lambda │ ├── Makefile │ ├── README.md │ ├── lambda.v │ └── main.ml ├── let │ ├── Makefile │ ├── README.md │ ├── let.v │ └── main.ml ├── link │ ├── Makefile │ ├── README.md │ ├── a.v │ ├── b.v │ └── main.ml ├── link2 │ ├── Makefile │ ├── README.md │ ├── abc │ │ └── a.v │ ├── b.v │ └── main.ml └── plus │ ├── Makefile │ ├── README.md │ ├── main.ml │ └── plus.v ├── erlang ├── test1 │ ├── mk.sh │ ├── test1.beam │ └── test1.erl ├── test2 │ ├── erl_crash.dump │ ├── mk.sh │ └── test2.erl ├── test3 │ ├── erl_crash.dump │ ├── messenger.beam │ ├── messenger.erl │ ├── mk.sh │ ├── test3.beam │ ├── test3.erl │ ├── tut14.beam │ ├── tut14.erl │ ├── tut15.beam │ ├── tut15.erl │ ├── tut16.beam │ ├── tut16.erl │ ├── tut17.beam │ ├── tut17.erl │ ├── tut18.beam │ └── tut18.erl ├── test5 │ ├── ch1.erl │ ├── ch2.erl │ ├── erl_crash.dump │ ├── mk.sh │ ├── server.beam │ ├── server.erl │ ├── test1.beam │ └── test1.erl └── testrebar │ ├── ebin │ ├── testrebar.app │ ├── testrebar_app.beam │ └── testrebar_sup.beam │ ├── rebar │ └── src │ ├── testrebar.app.src │ ├── testrebar_app.erl │ └── testrebar_sup.erl ├── gc ├── README.md ├── ats │ ├── README.md │ ├── ats_basic │ │ ├── Makefile │ │ ├── README.md │ │ ├── cast │ │ ├── cast.dats │ │ ├── cast.js │ │ ├── cast_dats.c │ │ ├── file │ │ ├── file.dats │ │ ├── file_dats.c │ │ ├── list │ │ ├── list.dats │ │ ├── list_dats.c │ │ ├── malloc │ │ ├── malloc.dats │ │ ├── malloc_dats.c │ │ ├── malloc_dats.o │ │ ├── o_cast.js │ │ └── vm1.dats │ ├── mark_and_sweep │ │ ├── README.md │ │ └── gc.ml │ ├── mark_and_sweep2 │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.class │ │ ├── a.java │ │ ├── a.out │ │ ├── compile │ │ ├── compile.cmi │ │ ├── compile.cmo │ │ ├── compile.ml │ │ ├── test.cmi │ │ ├── test.cmo │ │ ├── test.ml │ │ ├── vm.cmi │ │ ├── vm.cmo │ │ └── vm.ml │ ├── mark_and_sweep_in_c │ │ ├── README.md │ │ └── gc.c │ ├── set_gc │ │ ├── README.md │ │ └── setgc.ml │ └── simple_bitmap │ │ ├── README.md │ │ ├── a.out │ │ ├── gc.c │ │ ├── gc2.c │ │ ├── object.h │ │ └── reserve.c ├── simple_gc_by_c │ ├── README.md │ ├── bitmap_gc │ │ ├── README.md │ │ ├── gc.c │ │ └── gc2.c │ ├── gc_pool │ │ ├── Makefile │ │ ├── README.md │ │ ├── calc.cpp │ │ ├── gc.c │ │ └── gc.cpp │ ├── mark_and_sweep │ │ ├── Makefile │ │ ├── README.md │ │ └── gc.c │ ├── mark_and_sweep_compiler │ │ ├── Makefile │ │ ├── README.md │ │ ├── gc.c │ │ ├── gc.h │ │ ├── gc.o │ │ ├── test1 │ │ ├── test1.c │ │ ├── test1.ml │ │ ├── test2 │ │ ├── test2.c │ │ ├── test3 │ │ ├── test3.c │ │ ├── test3.ml │ │ ├── test4 │ │ ├── test4.c │ │ └── test4.ml │ ├── multi_world_gc │ │ ├── Makefile │ │ ├── README.md │ │ ├── gc.c │ │ ├── gc.cpp │ │ └── gctest │ ├── multi_world_http_server │ │ ├── Makefile │ │ ├── README.md │ │ ├── calc.c │ │ ├── db.c │ │ ├── dygc.c │ │ ├── dylib.c │ │ ├── dylib_main.c │ │ ├── dyload.c │ │ ├── gc.c │ │ ├── gc.h │ │ ├── hello.c │ │ ├── http.c │ │ ├── index.html │ │ ├── pandoc.c │ │ ├── string.c │ │ ├── style.css │ │ └── test.c │ ├── new_world │ │ ├── README.md │ │ └── gc.c │ └── stack_map │ │ ├── README.md │ │ ├── test3.c │ │ ├── test3.d │ │ ├── test4.c │ │ ├── test5.c │ │ ├── test6.c │ │ ├── test6.ll │ │ └── test6.s └── smlsharp │ ├── README.md │ ├── a.out │ ├── gc.c │ ├── smlsharp1.1.0 │ ├── README.md │ ├── error │ │ ├── Makefile │ │ ├── a.out │ │ ├── error.c │ │ ├── main1.c │ │ └── smlsharp.h │ ├── exn │ │ ├── Makefile │ │ ├── a.out │ │ ├── error.c │ │ ├── exn.c │ │ ├── main1.c │ │ ├── object.h │ │ ├── object.h~HEAD │ │ ├── object.h~HEAD_0 │ │ ├── object.h~master │ │ ├── object.h~master_0 │ │ └── smlsharp.h │ ├── f │ │ ├── a.out │ │ ├── longjump.c │ │ ├── longjump2.c │ │ ├── longjump2.ll │ │ └── tes.c │ ├── nogmp │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_bitmap.c │ │ ├── heap_cheney.c │ │ ├── heap_malloc.c │ │ ├── heap_otomo.c │ │ ├── heap_otomo.h │ │ ├── init.c │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── nogmpthread │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_bitmap.c │ │ ├── heap_cheney.c │ │ ├── heap_malloc.c │ │ ├── heap_otomo.c │ │ ├── heap_otomo.h │ │ ├── init.c │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── nogmpthread2 │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_bitmap.c │ │ ├── heap_cheney.c │ │ ├── heap_malloc.c │ │ ├── heap_otomo.c │ │ ├── heap_otomo.h │ │ ├── init.c │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── nogmpthreadgengc │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_bitmap.c │ │ ├── heap_cheney.c │ │ ├── heap_malloc.c │ │ ├── heap_otomo.c │ │ ├── heap_otomo.h │ │ ├── init.c │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── nogmpthreadgengcheap │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── nogmpthreadgengcheapexn │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── frame.h │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── nogmpthreadgengcheapexnspst │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── frame.h │ │ ├── main.c │ │ ├── main1.c │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── sml_obj.c │ │ ├── sml_obj.h │ │ ├── sml_obstack.c │ │ ├── sml_tree.c │ │ ├── sml_tree.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlmain3.c │ │ └── smlsharp.h │ ├── runtime │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_bitmap.c │ │ ├── heap_cheney.c │ │ ├── heap_malloc.c │ │ ├── heap_otomo.c │ │ ├── heap_otomo.h │ │ ├── init.c │ │ ├── intinf.h │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── object.h~HEAD │ │ ├── object.h~HEAD_0 │ │ ├── object.h~master │ │ ├── object.h~master_0 │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlmain2.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── runtime1 │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_malloc.c │ │ ├── init.c │ │ ├── intinf.h │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── object.h~HEAD │ │ ├── object.h~HEAD_0 │ │ ├── object.h~master │ │ ├── object.h~master_0 │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── smlmain.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── runtime_moto │ │ ├── Makefile │ │ ├── README.md │ │ ├── a.out │ │ ├── control.c │ │ ├── control.h │ │ ├── error.c │ │ ├── exn.c │ │ ├── frame.h │ │ ├── heap.h │ │ ├── heap_bitmap.c │ │ ├── heap_cheney.c │ │ ├── heap_malloc.c │ │ ├── heap_otomo.c │ │ ├── heap_otomo.h │ │ ├── init.c │ │ ├── intinf.h │ │ ├── main.c │ │ ├── main1.c │ │ ├── object.c │ │ ├── object.h │ │ ├── object.h~HEAD │ │ ├── object.h~master │ │ ├── objspace.c │ │ ├── objspace.h │ │ ├── obstack.c │ │ ├── prim.c │ │ ├── prim.h │ │ ├── smlmain.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ ├── runtimeh │ │ ├── README.md │ │ ├── control.h │ │ ├── frame.h │ │ ├── heap.h │ │ ├── intinf.h │ │ ├── object.h │ │ ├── object.h~HEAD │ │ ├── object.h~master │ │ ├── objspace.h │ │ ├── smlsharp.h │ │ └── splay.h │ ├── simple │ │ ├── a.out │ │ └── test.c │ └── splay │ │ ├── Makefile │ │ ├── a.out │ │ ├── main1.c │ │ ├── smlsharp.h │ │ ├── splay.c │ │ └── splay.h │ └── smlsharp2.0 │ ├── runtime │ ├── Makefile │ ├── a.out │ ├── alloctest.c │ ├── cdecl.h │ ├── concurrent │ │ ├── control.c │ │ ├── control.h │ │ ├── heap.h │ │ ├── heap_concurrent.c │ │ ├── init.c │ │ ├── objspace.c │ │ ├── objspace.h │ │ └── smlsharp.h │ ├── control.c │ ├── counter.c │ ├── error.c │ ├── event.c │ ├── exn.c │ ├── gcstat.rb │ ├── heap.h │ ├── heap_bitmap.c │ ├── heap_cheney.c │ ├── heap_concurrent.c │ ├── heap_malloc.c │ ├── heap_otomo.c │ ├── heap_otomo.h │ ├── heap_reppy.c │ ├── init.c │ ├── intinf.h │ ├── livestat.rb │ ├── main.c │ ├── main1.c │ ├── netlib │ │ └── dtoa.c │ ├── object.c │ ├── object.h │ ├── objspace.c │ ├── objspace.h │ ├── obstack.c │ ├── prim.c │ ├── prim.h │ ├── smlmain.c │ ├── smlsharp.h │ ├── spinlock.h │ ├── splay.c │ ├── splay.h │ └── timer.h │ ├── runtime_moto │ ├── alloctest.c │ ├── cdecl.h │ ├── concurrent │ │ ├── control.c │ │ ├── control.h │ │ ├── heap.h │ │ ├── heap_concurrent.c │ │ ├── init.c │ │ ├── objspace.c │ │ ├── objspace.h │ │ └── smlsharp.h │ ├── control.c │ ├── counter.c │ ├── error.c │ ├── event.c │ ├── exn.c │ ├── gcstat.rb │ ├── heap.h │ ├── heap_bitmap.c │ ├── heap_cheney.c │ ├── heap_concurrent.c │ ├── heap_malloc.c │ ├── heap_otomo.c │ ├── heap_otomo.h │ ├── heap_reppy.c │ ├── init.c │ ├── intinf.h │ ├── livestat.rb │ ├── main.c │ ├── netlib │ │ └── dtoa.c │ ├── object.c │ ├── object.h │ ├── objspace.c │ ├── objspace.h │ ├── obstack.c │ ├── prim.c │ ├── prim.h │ ├── smlsharp.h │ ├── spinlock.h │ ├── splay.c │ ├── splay.h │ └── timer.h │ ├── t.ll │ ├── t.s │ ├── t.txt │ ├── t2.ll │ ├── tt.c │ ├── tt.ll │ └── tt.s ├── generalization ├── 1.intro.md ├── 2.一般化.md ├── 3.メモリ管理ミスがある不完全な一般化.md ├── 4.レベルによる効率的な一般化.md ├── 5.さらに効率的なレベルベースの​​一般化.md ├── 6.OCaml内レベル一般化.md ├── 7.型リージョン.md ├── 8.レベルの発見.md ├── 9.新鮮な型変数の生成.md ├── README.md ├── a.真の一般化の複雑さ.md ├── epub.css ├── generalization.epub ├── mkepub.sh └── title.txt ├── haskell ├── 01helloworld │ ├── Makefile │ └── a.hs ├── 02module │ ├── B.hs │ ├── Makefile │ └── main.hs ├── 03hunit │ ├── B.hs │ ├── Makefile │ ├── README.md │ ├── main.hs │ └── test.hs ├── 04class │ ├── E.hi │ ├── E.hs │ ├── E.o │ ├── Makefile │ ├── README.md │ ├── a │ ├── main.hi │ ├── main.hs │ ├── main.o │ └── test.hs ├── 05do_monad │ └── testio.hs ├── 06class_monad │ ├── Makefile │ ├── README.md │ ├── hmddoc │ ├── ls │ ├── ls.hi │ ├── ls.hs │ ├── ls.md │ ├── ls.o │ ├── main.hs │ ├── ok │ ├── ok.hi │ ├── ok.hs │ ├── ok.md │ └── ok.o ├── 07doctest │ ├── Makefile │ ├── README.md │ ├── a.hs │ ├── a.md │ ├── b.hs │ ├── b.md │ ├── doc │ │ ├── A.html │ │ ├── doc-index.html │ │ ├── frames.html │ │ ├── haddock-util.js │ │ ├── hslogo-16.png │ │ ├── index-frames.html │ │ ├── index.html │ │ ├── mini_A.html │ │ ├── minus.gif │ │ ├── ocean.css │ │ ├── plus.gif │ │ └── synopsis.png │ └── hmddoc └── README.md ├── hobby └── README.md ├── iterm2hack └── README.md ├── match ├── README.md ├── a.rb └── a.scala ├── mddocs ├── a.md ├── a.ml ├── a.php ├── types.md └── types.mli ├── newml ├── README.md └── paper.md ├── ocaml ├── jasc │ ├── Makefile │ ├── README.md │ ├── examples │ │ ├── ANewArray.j │ │ ├── AnInterface.j │ │ ├── Arrays.j │ │ ├── Catch.j │ │ ├── Checkcast.j │ │ ├── Count.j │ │ ├── HelloWeb.html │ │ ├── HelloWeb.j │ │ ├── HelloWorld.j │ │ ├── Implementor.j │ │ ├── InvokeInterface.j │ │ ├── MultiANewArray.j │ │ ├── MultiArrays.j │ │ ├── NewArray.j │ │ ├── Switch.j │ │ ├── Uncaught.j │ │ ├── VerifyTest.j │ │ └── VerifyTest1.j │ ├── ext │ │ ├── IO.ml │ │ ├── IO.mli │ │ ├── enum.ml │ │ ├── enum.mli │ │ ├── extList.ml │ │ ├── extList.mli │ │ ├── extString.ml │ │ ├── extString.mli │ │ ├── pMap.ml │ │ └── pMap.mli │ ├── jCode.ml │ ├── jCodePP.ml │ ├── jCodeReader.ml │ ├── jCodeWriter.ml │ ├── jData.ml │ ├── jDataPP.ml │ ├── jReader.ml │ ├── jWriter.ml │ ├── jasc.exe │ ├── jasc.ml │ ├── lexer.mll │ ├── parser.mly │ └── tests │ │ ├── InvokeDynamic.ja │ │ ├── Test001.j │ │ ├── Test001.java │ │ ├── Test002.j │ │ ├── Test002.java │ │ ├── Test003.j │ │ ├── Test003.java │ │ ├── Test004.j │ │ ├── Test004.java │ │ ├── Test005.j │ │ ├── Test005.java │ │ ├── Test006.j │ │ ├── Test006.java │ │ ├── Test007.j │ │ ├── Test007.java │ │ ├── Test008.j │ │ ├── Test008.java │ │ ├── Test009.j │ │ ├── Test009.java │ │ ├── Test010.j │ │ ├── Test010.java │ │ ├── Test_b.j │ │ ├── Test_b.java │ │ ├── Test_c.j │ │ ├── Test_c.java │ │ ├── Test_d.j │ │ ├── Test_d.java │ │ ├── Test_daload.java │ │ ├── Test_f.j │ │ ├── Test_f.java │ │ ├── Test_g.j │ │ ├── Test_g.java │ │ ├── Test_i.j │ │ ├── Test_i.java │ │ ├── Test_interface.j │ │ ├── Test_interface.java │ │ ├── Test_interface2.j │ │ ├── Test_interface2.java │ │ ├── Test_jsr.java │ │ ├── Test_l.j │ │ ├── Test_l.java │ │ ├── Test_m.j │ │ ├── Test_m.java │ │ ├── Test_s.j │ │ ├── Test_s.java │ │ ├── Test_switch.j │ │ ├── Test_switch.java │ │ ├── Test_switch2.j │ │ ├── Test_switch3.j │ │ ├── Test_switch3.java │ │ ├── Test_throws.j │ │ ├── Test_throws.java │ │ ├── Test_while.j │ │ ├── Test_while.java │ │ ├── jsr.j │ │ └── jsr2.j ├── llvm │ ├── README.md │ ├── ll1_text │ │ ├── Makefile │ │ ├── README.md │ │ ├── ast.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ ├── parser.mly │ │ └── utils.ml │ ├── ll2_jit │ │ ├── Makefile │ │ ├── README.md │ │ ├── ast.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ ├── parser.mly │ │ └── utils.ml │ └── ll3_jit │ │ ├── Makefile │ │ ├── README.md │ │ ├── ast.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ └── parser.mly ├── minocaml │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.ml │ ├── minParser.mli │ └── minParser.mly ├── minocaml2 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.mli │ └── minParser.mly ├── minocaml3 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── a.ml │ ├── a.out │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ ├── t.txt │ └── yaccdep ├── minocaml4 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── b.ml │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ └── yaccdep ├── minocaml5 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── b.ml │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ └── yaccdep ├── minocaml6 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── b.ml │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ └── yaccdep ├── minocaml7 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── b.ml │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.ml │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ └── yaccdep ├── minocaml8 │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── b.ml │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.ml │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ └── yaccdep ├── minocamla │ ├── .depend │ ├── Makefile │ ├── README.md │ ├── a.out │ ├── b.ml │ ├── main.ml │ ├── minCompile.ml │ ├── minLexer.mll │ ├── minParse.ml │ ├── minParse.mli │ ├── minParser.mli │ ├── minParser.mly │ ├── minParser.output │ └── yaccdep ├── nat │ ├── Makefile │ ├── README.md │ ├── ast.ml │ ├── lexer.mll │ ├── main.ml │ └── parser.mly ├── ocaml_src_reading │ ├── README.md │ ├── dir.md │ ├── files.md │ ├── mls.md │ ├── parser.md │ ├── parsing.md │ ├── parsing │ │ ├── Makefile │ │ ├── a.ml │ │ ├── a.ml1 │ │ ├── a.ml2 │ │ ├── ast_helper.ml │ │ ├── ast_helper.mli │ │ ├── ast_mapper.ml │ │ ├── ast_mapper.mli │ │ ├── asttypes.mli │ │ ├── clflags.ml │ │ ├── clflags.mli │ │ ├── config.ml │ │ ├── config.mli │ │ ├── lexer.mli │ │ ├── lexer.mll │ │ ├── location.ml │ │ ├── location.mli │ │ ├── longident.ml │ │ ├── longident.mli │ │ ├── main.ml │ │ ├── misc.ml │ │ ├── misc.mli │ │ ├── parse.ml │ │ ├── parse.mli │ │ ├── parser.mly │ │ ├── parsetree.mli │ │ ├── pprintast.ml │ │ ├── pprintast.mli │ │ ├── printast.ml │ │ ├── printast.mli │ │ ├── syntaxerr.ml │ │ ├── syntaxerr.mli │ │ ├── terminfo.ml │ │ ├── terminfo.mli │ │ ├── toplevel_phrase │ │ │ └── structure │ │ │ │ └── structure_item │ │ │ │ └── structure_item_desc │ │ │ │ └── Pstr_eval │ │ │ │ └── expression │ │ │ │ └── Pexp_while │ │ │ │ └── expression │ │ ├── warnings.ml │ │ └── warnings.mli │ ├── parsing_asttype.md │ └── parsing_parsetree.md ├── pprint │ ├── README.md │ ├── ex2_1.ml │ ├── ex3_1.ml │ ├── ex3_2_1.ml │ ├── ex3_2_2.js │ ├── ex3_2_2.ml │ ├── ex3_3.ml │ ├── ex3_3_b.ml │ ├── ex4_3_a │ │ ├── Makefile │ │ ├── e.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ ├── parser.mly │ │ └── test │ │ │ └── t.ml │ ├── ex4_3_b │ │ ├── Makefile │ │ ├── e.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ ├── parser.mly │ │ └── test │ │ │ └── t.ml │ ├── ex5_1_1.ml │ ├── ex5_1_2.ml │ ├── ex5_1_2_b.ml │ ├── ex5_1_2_c │ │ ├── Makefile │ │ ├── e.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ ├── parser.mly │ │ └── test │ │ │ └── t.ml │ ├── ex5_2_a.ml │ ├── ex5_2_b.ml │ ├── ex5_2_c.ml │ └── ex5_2_d │ │ ├── Makefile │ │ ├── e.ml │ │ ├── lexer.mll │ │ ├── main.ml │ │ ├── parser.mly │ │ └── test │ │ └── t.ml ├── test1 │ └── Makefile ├── xml │ ├── Makefile │ ├── OMakefile │ ├── OMakeroot │ ├── lexer.mll │ ├── main.ml │ └── parser.mly └── yaccdep │ ├── Makefile │ ├── ast.ml │ ├── lexer.mll │ ├── main.ml │ ├── minParser.mly │ ├── parser.mly │ └── scc.ml ├── odoctest ├── Makefile ├── README.md ├── a.md ├── a.ml ├── b.md ├── b.ml ├── odoctest └── odoctest.rb ├── ounit ├── .omakedb ├── OMakefile ├── OMakeroot ├── README.md ├── foo.ml └── test.ml ├── peg ├── README.md ├── a.js ├── b.js ├── c.js └── d.js ├── pi ├── README.md ├── pi.ml ├── pi.php ├── pi.rb ├── pi.scala ├── pi2.php ├── pi2.rb ├── pi3.php ├── pi3.rb ├── pi4.php ├── pi4.rb ├── pi5.php └── pi5.rb ├── pp_ast ├── Makefile ├── README.md ├── c01.ml ├── c02_lf.ml ├── c03_nest_gnu.ml ├── c04_nest2.ml ├── c06_stmt.ml ├── c07_fun.ml ├── fib.cpp ├── inc_dec.ml ├── test1 │ ├── OMakefile │ ├── OMakeroot │ ├── fib1.cpp │ ├── fib1.ml │ ├── fib2.cpp │ ├── fib2.h │ ├── fib2.ml │ └── fib3.ml ├── test2 │ ├── .omakedb │ ├── .omakedb.lock │ ├── OMakefile │ ├── OMakefile.omc │ ├── OMakeroot │ ├── OMakeroot.omc │ ├── a.cpp │ ├── a.lll │ ├── a.ml │ ├── a.out │ ├── a.rrr │ ├── a.sss │ ├── b.lll │ ├── core.h │ ├── exp.cmi │ ├── exp.cmx │ ├── exp.ml │ ├── exp.o │ ├── lexer.cmi │ ├── lexer.cmx │ ├── lexer.ml │ ├── lexer.mll │ ├── lexer.o │ ├── lllc │ ├── lllc.opt │ ├── main.cmi │ ├── main.cmx │ ├── main.ml │ ├── main.o │ ├── mksrc.php │ ├── mmap.c │ ├── parser.cmi │ ├── parser.cmx │ ├── parser.ml │ ├── parser.mli │ ├── parser.mly │ ├── parser.o │ ├── stmt.cmi │ ├── stmt.cmx │ ├── stmt.ml │ ├── stmt.o │ ├── syntax.cmi │ ├── syntax.cmx │ ├── syntax.ml │ ├── syntax.o │ ├── ty.cmi │ ├── ty.cmx │ ├── ty.ml │ ├── ty.o │ ├── utils.cmi │ ├── utils.cmx │ ├── utils.ml │ └── utils.o ├── test3 │ ├── .omakedb │ ├── OMakefile │ ├── OMakeroot │ ├── a.cpp │ ├── a.go │ ├── a.lll │ ├── a.ml │ ├── a.out │ ├── a.rrr │ ├── a.sss │ ├── c.cpp │ ├── c.lll │ ├── core.h │ ├── exp.ml │ ├── lexer.mll │ ├── lllc │ ├── lllc.opt │ ├── main.ml │ ├── mksrc.php │ ├── mmap.c │ ├── parser.mly │ ├── stmt.ml │ ├── syntax.ml │ ├── test.ml │ ├── ty.ml │ └── utils.ml └── test_size │ ├── mksrc.php │ └── prg.lll ├── presentation ├── recent20150529.key └── recent20150529.pdf ├── printer └── a2.ml ├── prolog ├── Makefile ├── README.md ├── add.pl ├── add2.pl ├── calc.pl ├── calc2.pl ├── cho_prolog │ └── README.md ├── cut.pl ├── fact.pl ├── hello.pl ├── ios │ ├── .gitkeep │ └── README.md ├── list.pl ├── seqprover.pl ├── strlist.pl ├── tapl │ ├── fj.md │ ├── fj.pl │ └── systemdsub │ │ ├── cbn.pl │ │ ├── readme.md │ │ └── readme2.md └── test01.pl ├── rst ├── README.mediawiki ├── README.org ├── README.rst ├── test.adoc ├── test.md ├── test.rst ├── test.textile └── ttt.md ├── scala ├── ftdop │ ├── ftdop4 │ │ ├── Makefile │ │ └── ftdop4.scala │ └── ftdop5 │ │ ├── Makefile │ │ ├── README.md │ │ ├── ftdop5.scala │ │ ├── mul.scala │ │ └── plugin_test.scala └── tests │ ├── a.scala │ └── impliciteval.scala ├── sstp ├── README.md └── home.php ├── thih ├── README.md ├── abstract.md ├── chap01 │ ├── README.md │ └── README_ml.md ├── chap02 │ ├── README.md │ ├── README_ml.md │ ├── id.ml │ └── pre.ml ├── chap03 │ ├── README.md │ ├── README_ml.md │ └── kind.ml ├── chap04 │ ├── README.md │ ├── README_ml.md │ └── type.ml ├── chap05 │ ├── README.md │ ├── README_ml.md │ └── subst.ml ├── chap06 │ ├── README.md │ ├── README_ml.md │ └── unify.ml ├── chap07 │ ├── README.md │ ├── README_1.md │ ├── README_2.md │ ├── README_3.md │ ├── README_4.md │ ├── README_ml.md │ ├── README_ml_1.md │ ├── README_ml_2.md │ ├── README_ml_3.md │ ├── README_ml_4.md │ └── pred.ml ├── chap08 │ ├── README.md │ ├── README_ml.md │ └── scheme.ml ├── chap09 │ ├── README.md │ ├── README_ml.md │ └── assump.ml ├── chap10 │ ├── README.md │ ├── README_ml.md │ └── timonad.ml ├── chap11 │ ├── README.md │ ├── README_1.md │ ├── README_2.md │ ├── README_3.md │ ├── README_4.md │ ├── README_5.md │ ├── README_5_1.md │ ├── README_6.md │ ├── README_6_1.md │ ├── README_6_2.md │ ├── README_6_3.md │ ├── README_6_4.md │ ├── README_ml.md │ ├── README_ml_1.md │ ├── README_ml_2.md │ ├── README_ml_3.md │ ├── README_ml_4.md │ ├── README_ml_5.md │ ├── a.out │ ├── thih.cmi │ ├── thih.cmo │ └── thih.ml ├── chap12 │ └── README.md ├── epub.css ├── erlang │ ├── rebar.config │ ├── src │ │ ├── assump.erl │ │ ├── id.erl │ │ ├── infer.erl │ │ ├── kind.erl │ │ ├── lit.erl │ │ ├── pat.erl │ │ ├── pre.erl │ │ ├── pred.erl │ │ ├── scheme.erl │ │ ├── subst.erl │ │ ├── thih.app.src │ │ ├── thih.erl │ │ ├── thih_app.erl │ │ ├── thih_sup.erl │ │ ├── timain.erl │ │ ├── timonad.erl │ │ ├── type.erl │ │ └── unify.erl │ └── test │ │ ├── t01_pre_tests.erl │ │ ├── t02_id_tests.erl │ │ ├── t03_kind_tests.erl │ │ ├── t04_type_tests.erl │ │ ├── t05_subst_tests.erl │ │ ├── t06_unify_tests.erl │ │ ├── t07_pred_tests.erl │ │ ├── t08_scheme_tests.erl │ │ ├── t09_assump_tests.erl │ │ ├── t10_timonad_tests.erl │ │ ├── t11_0_infer_tests.erl │ │ ├── t11_1_lit_tests.erl │ │ ├── t11_2_pat_tests.erl │ │ └── t11_3_timain_tests.erl ├── footnotes.md ├── mkepub.sh ├── mkepub_ml.sh ├── ocaml │ ├── .omakedb │ ├── OMakefile │ ├── OMakeroot │ ├── odoctest │ ├── test01_pre.ml │ ├── test02_id.ml │ ├── test03_kind.ml │ ├── test04_type.ml │ ├── test05_subst.ml │ ├── test06_unify.ml │ ├── test07_pred.ml │ ├── test08_scheme.ml │ ├── test09_assump.ml │ ├── test10_timonad.ml │ ├── test11_0_infer.ml │ ├── test11_1_lit.ml │ ├── test11_2_pat.ml │ ├── test11_3_timain.ml │ └── thih.ml ├── ocaml2 │ ├── Makefile │ ├── OMakefile │ ├── OMakeroot │ ├── assump.ml │ ├── id.ml │ ├── infer.ml │ ├── kind.ml │ ├── lit.ml │ ├── odoctest │ ├── pat.ml │ ├── pre.ml │ ├── pred.ml │ ├── scheme.ml │ ├── subst_.ml │ ├── tIMain.ml │ ├── tIMonad.ml │ ├── type.ml │ └── unify.ml ├── references.md ├── scala │ ├── build.sbt │ ├── project │ │ └── Build.scala │ └── src │ │ ├── main │ │ └── scala │ │ │ └── thih.scala │ │ └── test │ │ └── scala │ │ ├── 01_PreSpec.scala │ │ ├── 02_IdSpec.scala │ │ ├── 03_KindSpec.scala │ │ ├── 04_TypeSpec.scala │ │ ├── 05_SubstSpec.scala │ │ ├── 06_UnifySpec.scala │ │ ├── 07_PredSpec.scala │ │ ├── 08_SchemeSpec.scala │ │ ├── 09_AssumpSpec.scala │ │ ├── 10_TIMonadSpec.scala │ │ ├── 11_0_InferSpec.scala │ │ ├── 11_1_LitSpec.scala │ │ ├── 11_2_PatSpec.scala │ │ └── 11_3_TIMainSpec.scala ├── thih.epub ├── thih_ml.epub ├── title.txt └── title_ml.txt ├── traittable ├── fib │ ├── Any.java │ ├── EInt.java │ ├── Fib.java │ ├── README.md │ ├── VTable.java │ ├── fib.cpp │ ├── fib.go │ ├── fib.js │ ├── fib.m │ ├── fib.ml │ ├── fib.php │ ├── fib.rb │ └── fib.rs └── java │ └── ast │ └── traittable │ ├── Any.java │ ├── E.java │ ├── EAdd.java │ ├── EInt.java │ ├── ESub.java │ ├── Eval.java │ ├── ToString.java │ └── VTable.java ├── typeclass ├── README.md ├── impl_tclass5ja.md ├── impl_tclass6_7.md ├── make.md ├── make.pdf └── tclass │ ├── README.md │ ├── mono │ ├── README.md │ ├── main.ml │ └── main.scala │ ├── mono_tclass │ ├── README.md │ └── main.scala │ ├── poly │ ├── README.md │ └── main.scala │ ├── poly_mono_tclass │ ├── README.md │ └── main.scala │ ├── poly_over │ ├── README.md │ └── main.scala │ └── poly_tclass │ ├── README.md │ └── main.scala ├── typetheory ├── README.md ├── css │ └── epub.css ├── images │ ├── char1.mdp │ ├── char1.png │ ├── char1_1.png │ ├── char2.mdp │ ├── char2.png │ ├── char2_1.png │ ├── char3.mdp │ ├── char3.png │ └── char3_1.png ├── mkepub.sh ├── set.md ├── set00.md ├── set01.md ├── set02.md ├── set03.md ├── set04.md ├── set05.md ├── set99.md ├── set_.md ├── title.txt └── typetheory.epub ├── xxml ├── Makefile ├── README.md ├── fastparse │ ├── build.sbt │ ├── tes3.scala │ └── xxml1_1.scala ├── index.html ├── tes.py ├── tes.scala ├── tes2.scala ├── tes3.scala ├── tes4.scala ├── xxml.scala ├── xxml1_1.scala ├── xxml1_2.scala ├── xxml1_3.scala ├── xxml2_1.scala ├── xxml2_2.scala ├── xxml2_3.scala ├── xxml3_1.scala └── xxml3_2.scala └── yacc ├── README.md ├── calc ├── Makefile ├── README.md ├── lexer.l ├── main.c ├── parser.y └── syntax.h ├── calc_ast ├── Makefile ├── README.md ├── lexer.l ├── main.c ├── parser.y ├── syntax.c └── syntax.h ├── calc_ast_eval ├── Makefile ├── README.md ├── eval.c ├── eval.h ├── lexer.l ├── main.c ├── parser.y ├── syntax.c └── syntax.h ├── calc_check ├── Makefile ├── README.md ├── lexer.l ├── main.c └── parser.y ├── cpp_arc_ast_eval ├── Makefile ├── README.md ├── arc.hpp ├── lexer.l ├── main.cpp ├── parser.y └── syntax.h ├── lambda ├── Makefile ├── README.md ├── eval.c ├── eval.h ├── lexer.l ├── main.c ├── parser.y ├── syntax.c └── syntax.h ├── min_caml_asm ├── Makefile ├── README.md ├── ast.cpp ├── ast.h ├── ast_print.cpp ├── emit.cpp ├── lexer.l ├── main.cpp ├── nbproject │ ├── configurations.xml │ ├── private │ │ ├── CodeAssistancePathMapper.properties │ │ ├── Default-build.log │ │ ├── Default-exec.log │ │ ├── Default.properties │ │ ├── configurations.xml │ │ ├── launcher.properties │ │ └── private.xml │ └── project.xml ├── parser.y ├── regAlloc.cpp ├── simm.cpp ├── stub.c ├── x86_libmincaml.s └── x86_test │ ├── a.mls │ └── fib.mls └── min_caml_asm_rust ├── Cargo.toml ├── Makefile ├── README.md ├── build.rs ├── src ├── ast.rs ├── ast_print.rs ├── emit.rs ├── main.rs ├── parser.lalrpop ├── parser.rs ├── reg_alloc.rs └── simm.rs ├── stub.c ├── test ├── a.mls └── fib.mls └── x86_libmincaml.s /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/README.md -------------------------------------------------------------------------------- /arc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/Makefile -------------------------------------------------------------------------------- /arc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/README.md -------------------------------------------------------------------------------- /arc/arc.epub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/arc.epub -------------------------------------------------------------------------------- /arc/arc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/arc.hpp -------------------------------------------------------------------------------- /arc/calc.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/calc.m -------------------------------------------------------------------------------- /arc/calc_arc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/calc_arc.cpp -------------------------------------------------------------------------------- /arc/calc_smp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/calc_smp.cpp -------------------------------------------------------------------------------- /arc/epub.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/epub.css -------------------------------------------------------------------------------- /arc/mkepub.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/mkepub.sh -------------------------------------------------------------------------------- /arc/test.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/test.m -------------------------------------------------------------------------------- /arc/test_arc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/test_arc.cpp -------------------------------------------------------------------------------- /arc/test_smp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/arc/test_smp.cpp -------------------------------------------------------------------------------- /arc/title.txt: -------------------------------------------------------------------------------- 1 | --- 2 | title: C++ ARC ライブラリ 3 | author: 櫻井洋志 4 | language: ja-JP 5 | --- 6 | 7 | -------------------------------------------------------------------------------- /asmjs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/asmjs/index.html -------------------------------------------------------------------------------- /ats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/README.md -------------------------------------------------------------------------------- /ats/beautify/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/Makefile -------------------------------------------------------------------------------- /ats/beautify/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/README.md -------------------------------------------------------------------------------- /ats/beautify/beauty.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/beauty.py -------------------------------------------------------------------------------- /ats/beautify/main.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/main.dats -------------------------------------------------------------------------------- /ats/beautify/parser.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/parser.dats -------------------------------------------------------------------------------- /ats/beautify/parser.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/parser.hats -------------------------------------------------------------------------------- /ats/beautify/parser.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/parser.sats -------------------------------------------------------------------------------- /ats/beautify/peg.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/peg.dats -------------------------------------------------------------------------------- /ats/beautify/peg.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/peg.hats -------------------------------------------------------------------------------- /ats/beautify/peg.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/peg.sats -------------------------------------------------------------------------------- /ats/beautify/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/beautify/test.py -------------------------------------------------------------------------------- /ats/calc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/calc/Makefile -------------------------------------------------------------------------------- /ats/calc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/calc/README.md -------------------------------------------------------------------------------- /ats/calc/calc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/calc/calc.dats -------------------------------------------------------------------------------- /ats/calc/calc_cpy.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/calc/calc_cpy.dats -------------------------------------------------------------------------------- /ats/calc/calc_ref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/calc/calc_ref.dats -------------------------------------------------------------------------------- /ats/compiled_c_macro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/compiled_c_macro.md -------------------------------------------------------------------------------- /ats/libraries/ATSPRE_all_in_one.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/array.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/array_prf.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/arrayptr.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/arrayref.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/basics.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/bool.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/char.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/checkast.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/filebas.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/float.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/gprint.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/integer.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/intrange.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/list.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/list_vt.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/matrix.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/matrixptr.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/matrixref.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/memory.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/option.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/option_vt.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/pointer.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/stream.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/stream_vt.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/DATS/string.md -------------------------------------------------------------------------------- /ats/libraries/DATS/strptr.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/tostring.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/DATS/unsafe.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/ML/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/ML/Makefile -------------------------------------------------------------------------------- /ats/libraries/ML/itoa.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/ML/itoa.dats -------------------------------------------------------------------------------- /ats/libraries/ML/list0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/ML/list0.dats -------------------------------------------------------------------------------- /ats/libraries/ML/string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/ML/string.md -------------------------------------------------------------------------------- /ats/libraries/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/README.md -------------------------------------------------------------------------------- /ats/libraries/SATS/array.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/arrayptr.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/arrayref.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/bool.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/char.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/checkast.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/filebas.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/float.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/gprint.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/integer.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/integer_fixed.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/integer_ptr.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/intrange.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/list.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/list_vt.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/matrix.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/matrixptr.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/matrixref.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/memory.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/option.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/option_vt.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/pointer.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/reference.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/stream.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/stream_vt.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/SATS/string.md -------------------------------------------------------------------------------- /ats/libraries/SATS/strptr.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/SATS/strptr.md -------------------------------------------------------------------------------- /ats/libraries/SATS/tostring.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/tuple.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/SATS/unsafe.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/basics_dyn.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/basics_gen.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/basics_pre.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/basics_sta.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/fixity.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/libraries/fixity.md -------------------------------------------------------------------------------- /ats/libraries/lmacrodef.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/libraries/macrodef.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ats/parse/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/Makefile -------------------------------------------------------------------------------- /ats/parse/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/README.md -------------------------------------------------------------------------------- /ats/parse/a.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/a.txt -------------------------------------------------------------------------------- /ats/parse/main.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/main.dats -------------------------------------------------------------------------------- /ats/parse/parser.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/parser.dats -------------------------------------------------------------------------------- /ats/parse/parser.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/parser.hats -------------------------------------------------------------------------------- /ats/parse/parser.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/parser.sats -------------------------------------------------------------------------------- /ats/parse/peg.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/peg.dats -------------------------------------------------------------------------------- /ats/parse/peg.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/peg.hats -------------------------------------------------------------------------------- /ats/parse/peg.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/peg.sats -------------------------------------------------------------------------------- /ats/parse/syntax.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/syntax.dats -------------------------------------------------------------------------------- /ats/parse/syntax.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/syntax.hats -------------------------------------------------------------------------------- /ats/parse/syntax.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/parse/syntax.sats -------------------------------------------------------------------------------- /ats/start_ats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/README.md -------------------------------------------------------------------------------- /ats/start_ats/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/Makefile -------------------------------------------------------------------------------- /ats/start_ats/src/array.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/array.dats -------------------------------------------------------------------------------- /ats/start_ats/src/case.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/case.dats -------------------------------------------------------------------------------- /ats/start_ats/src/fn.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/fn.dats -------------------------------------------------------------------------------- /ats/start_ats/src/for.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/for.dats -------------------------------------------------------------------------------- /ats/start_ats/src/fun.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/fun.dats -------------------------------------------------------------------------------- /ats/start_ats/src/hello.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/hello.dats -------------------------------------------------------------------------------- /ats/start_ats/src/if.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/if.dats -------------------------------------------------------------------------------- /ats/start_ats/src/int.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/int.dats -------------------------------------------------------------------------------- /ats/start_ats/src/int2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/int2.dats -------------------------------------------------------------------------------- /ats/start_ats/src/let.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/let.dats -------------------------------------------------------------------------------- /ats/start_ats/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/main.c -------------------------------------------------------------------------------- /ats/start_ats/src/poly.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/poly.dats -------------------------------------------------------------------------------- /ats/start_ats/src/record.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/record.dats -------------------------------------------------------------------------------- /ats/start_ats/src/tuple.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/tuple.dats -------------------------------------------------------------------------------- /ats/start_ats/src/var.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/var.dats -------------------------------------------------------------------------------- /ats/start_ats/src/where.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/where.dats -------------------------------------------------------------------------------- /ats/start_ats/src/while.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ats/start_ats/src/while.dats -------------------------------------------------------------------------------- /clean/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/clean/Makefile -------------------------------------------------------------------------------- /clean/hello1.icl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/clean/hello1.icl -------------------------------------------------------------------------------- /coq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/Makefile -------------------------------------------------------------------------------- /coq/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/README.md -------------------------------------------------------------------------------- /coq/calc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/calc/Makefile -------------------------------------------------------------------------------- /coq/calc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/calc/README.md -------------------------------------------------------------------------------- /coq/calc/calc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/calc/calc.v -------------------------------------------------------------------------------- /coq/calc/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/calc/main.ml -------------------------------------------------------------------------------- /coq/fact/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/fact/Makefile -------------------------------------------------------------------------------- /coq/fact/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/fact/README.md -------------------------------------------------------------------------------- /coq/fact/fact.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/fact/fact.v -------------------------------------------------------------------------------- /coq/fact/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/fact/main.ml -------------------------------------------------------------------------------- /coq/hello/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/hello/Makefile -------------------------------------------------------------------------------- /coq/hello/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/hello/README.md -------------------------------------------------------------------------------- /coq/hello/hello.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/hello/hello.v -------------------------------------------------------------------------------- /coq/hello/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/hello/main.ml -------------------------------------------------------------------------------- /coq/lambda/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/lambda/Makefile -------------------------------------------------------------------------------- /coq/lambda/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/lambda/README.md -------------------------------------------------------------------------------- /coq/lambda/lambda.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/lambda/lambda.v -------------------------------------------------------------------------------- /coq/lambda/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/lambda/main.ml -------------------------------------------------------------------------------- /coq/let/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/let/Makefile -------------------------------------------------------------------------------- /coq/let/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/let/README.md -------------------------------------------------------------------------------- /coq/let/let.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/let/let.v -------------------------------------------------------------------------------- /coq/let/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/let/main.ml -------------------------------------------------------------------------------- /coq/link/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link/Makefile -------------------------------------------------------------------------------- /coq/link/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link/README.md -------------------------------------------------------------------------------- /coq/link/a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link/a.v -------------------------------------------------------------------------------- /coq/link/b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link/b.v -------------------------------------------------------------------------------- /coq/link/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link/main.ml -------------------------------------------------------------------------------- /coq/link2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link2/Makefile -------------------------------------------------------------------------------- /coq/link2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link2/README.md -------------------------------------------------------------------------------- /coq/link2/abc/a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link2/abc/a.v -------------------------------------------------------------------------------- /coq/link2/b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link2/b.v -------------------------------------------------------------------------------- /coq/link2/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/link2/main.ml -------------------------------------------------------------------------------- /coq/plus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/plus/Makefile -------------------------------------------------------------------------------- /coq/plus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/plus/README.md -------------------------------------------------------------------------------- /coq/plus/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/plus/main.ml -------------------------------------------------------------------------------- /coq/plus/plus.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/coq/plus/plus.v -------------------------------------------------------------------------------- /erlang/test1/mk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test1/mk.sh -------------------------------------------------------------------------------- /erlang/test1/test1.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test1/test1.beam -------------------------------------------------------------------------------- /erlang/test1/test1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test1/test1.erl -------------------------------------------------------------------------------- /erlang/test2/erl_crash.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test2/erl_crash.dump -------------------------------------------------------------------------------- /erlang/test2/mk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test2/mk.sh -------------------------------------------------------------------------------- /erlang/test2/test2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test2/test2.erl -------------------------------------------------------------------------------- /erlang/test3/erl_crash.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/erl_crash.dump -------------------------------------------------------------------------------- /erlang/test3/messenger.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/messenger.beam -------------------------------------------------------------------------------- /erlang/test3/messenger.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/messenger.erl -------------------------------------------------------------------------------- /erlang/test3/mk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/mk.sh -------------------------------------------------------------------------------- /erlang/test3/test3.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/test3.beam -------------------------------------------------------------------------------- /erlang/test3/test3.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/test3.erl -------------------------------------------------------------------------------- /erlang/test3/tut14.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut14.beam -------------------------------------------------------------------------------- /erlang/test3/tut14.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut14.erl -------------------------------------------------------------------------------- /erlang/test3/tut15.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut15.beam -------------------------------------------------------------------------------- /erlang/test3/tut15.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut15.erl -------------------------------------------------------------------------------- /erlang/test3/tut16.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut16.beam -------------------------------------------------------------------------------- /erlang/test3/tut16.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut16.erl -------------------------------------------------------------------------------- /erlang/test3/tut17.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut17.beam -------------------------------------------------------------------------------- /erlang/test3/tut17.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut17.erl -------------------------------------------------------------------------------- /erlang/test3/tut18.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut18.beam -------------------------------------------------------------------------------- /erlang/test3/tut18.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test3/tut18.erl -------------------------------------------------------------------------------- /erlang/test5/ch1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/ch1.erl -------------------------------------------------------------------------------- /erlang/test5/ch2.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/ch2.erl -------------------------------------------------------------------------------- /erlang/test5/erl_crash.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/erl_crash.dump -------------------------------------------------------------------------------- /erlang/test5/mk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/mk.sh -------------------------------------------------------------------------------- /erlang/test5/server.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/server.beam -------------------------------------------------------------------------------- /erlang/test5/server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/server.erl -------------------------------------------------------------------------------- /erlang/test5/test1.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/test1.beam -------------------------------------------------------------------------------- /erlang/test5/test1.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/test5/test1.erl -------------------------------------------------------------------------------- /erlang/testrebar/rebar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/erlang/testrebar/rebar -------------------------------------------------------------------------------- /gc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/README.md -------------------------------------------------------------------------------- /gc/ats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/README.md -------------------------------------------------------------------------------- /gc/ats/ats_basic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/Makefile -------------------------------------------------------------------------------- /gc/ats/ats_basic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/README.md -------------------------------------------------------------------------------- /gc/ats/ats_basic/cast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/cast -------------------------------------------------------------------------------- /gc/ats/ats_basic/cast.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/cast.dats -------------------------------------------------------------------------------- /gc/ats/ats_basic/cast.js: -------------------------------------------------------------------------------- 1 | alert("test") 2 | 3 | -------------------------------------------------------------------------------- /gc/ats/ats_basic/cast_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/cast_dats.c -------------------------------------------------------------------------------- /gc/ats/ats_basic/file: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/file -------------------------------------------------------------------------------- /gc/ats/ats_basic/file.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/file.dats -------------------------------------------------------------------------------- /gc/ats/ats_basic/file_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/file_dats.c -------------------------------------------------------------------------------- /gc/ats/ats_basic/list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/list -------------------------------------------------------------------------------- /gc/ats/ats_basic/list.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/list.dats -------------------------------------------------------------------------------- /gc/ats/ats_basic/list_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/list_dats.c -------------------------------------------------------------------------------- /gc/ats/ats_basic/malloc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/malloc -------------------------------------------------------------------------------- /gc/ats/ats_basic/malloc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/malloc.dats -------------------------------------------------------------------------------- /gc/ats/ats_basic/o_cast.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gc/ats/ats_basic/vm1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/ats_basic/vm1.dats -------------------------------------------------------------------------------- /gc/ats/mark_and_sweep/gc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/mark_and_sweep/gc.ml -------------------------------------------------------------------------------- /gc/ats/mark_and_sweep2/a.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/mark_and_sweep2/a.java -------------------------------------------------------------------------------- /gc/ats/mark_and_sweep2/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/mark_and_sweep2/a.out -------------------------------------------------------------------------------- /gc/ats/mark_and_sweep2/vm.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/mark_and_sweep2/vm.cmi -------------------------------------------------------------------------------- /gc/ats/mark_and_sweep2/vm.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/mark_and_sweep2/vm.cmo -------------------------------------------------------------------------------- /gc/ats/mark_and_sweep2/vm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/mark_and_sweep2/vm.ml -------------------------------------------------------------------------------- /gc/ats/set_gc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/set_gc/README.md -------------------------------------------------------------------------------- /gc/ats/set_gc/setgc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/set_gc/setgc.ml -------------------------------------------------------------------------------- /gc/ats/simple_bitmap/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/simple_bitmap/a.out -------------------------------------------------------------------------------- /gc/ats/simple_bitmap/gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/simple_bitmap/gc.c -------------------------------------------------------------------------------- /gc/ats/simple_bitmap/gc2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/simple_bitmap/gc2.c -------------------------------------------------------------------------------- /gc/ats/simple_bitmap/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/ats/simple_bitmap/object.h -------------------------------------------------------------------------------- /gc/simple_gc_by_c/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/simple_gc_by_c/README.md -------------------------------------------------------------------------------- /gc/smlsharp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/README.md -------------------------------------------------------------------------------- /gc/smlsharp/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/a.out -------------------------------------------------------------------------------- /gc/smlsharp/gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/gc.c -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/error/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | gcc error.c main1.c 3 | ./a.out 4 | 5 | 6 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/nogmp/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/nogmpthread/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/nogmpthread2/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/nogmpthreadgengc/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/nogmpthreadgengcheap/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/nogmpthreadgengcheapexn/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/runtime/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/runtime1/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/runtime_moto/main1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp1.1.0/splay/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | gcc splay.c main1.c 3 | ./a.out 4 | 5 | 6 | -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/t.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/t.ll -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/t.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/t.s -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/t.txt -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/t2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/t2.ll -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/tt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/tt.c -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/tt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/tt.ll -------------------------------------------------------------------------------- /gc/smlsharp/smlsharp2.0/tt.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/gc/smlsharp/smlsharp2.0/tt.s -------------------------------------------------------------------------------- /generalization/1.intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/1.intro.md -------------------------------------------------------------------------------- /generalization/2.一般化.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/2.一般化.md -------------------------------------------------------------------------------- /generalization/7.型リージョン.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/7.型リージョン.md -------------------------------------------------------------------------------- /generalization/8.レベルの発見.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/8.レベルの発見.md -------------------------------------------------------------------------------- /generalization/9.新鮮な型変数の生成.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/9.新鮮な型変数の生成.md -------------------------------------------------------------------------------- /generalization/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/README.md -------------------------------------------------------------------------------- /generalization/a.真の一般化の複雑さ.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/a.真の一般化の複雑さ.md -------------------------------------------------------------------------------- /generalization/epub.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/epub.css -------------------------------------------------------------------------------- /generalization/mkepub.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/mkepub.sh -------------------------------------------------------------------------------- /generalization/title.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/generalization/title.txt -------------------------------------------------------------------------------- /haskell/01helloworld/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/01helloworld/Makefile -------------------------------------------------------------------------------- /haskell/01helloworld/a.hs: -------------------------------------------------------------------------------- 1 | main = putStrLn "Hello World!" 2 | 3 | -------------------------------------------------------------------------------- /haskell/02module/B.hs: -------------------------------------------------------------------------------- 1 | module B where 2 | f = 1 3 | -------------------------------------------------------------------------------- /haskell/02module/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/02module/Makefile -------------------------------------------------------------------------------- /haskell/02module/main.hs: -------------------------------------------------------------------------------- 1 | module Main where 2 | 3 | import B 4 | 5 | main = putStrLn (show f) 6 | 7 | -------------------------------------------------------------------------------- /haskell/03hunit/B.hs: -------------------------------------------------------------------------------- 1 | module B where 2 | 3 | f = 1 4 | g = [1,2,3] 5 | 6 | -------------------------------------------------------------------------------- /haskell/03hunit/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/03hunit/Makefile -------------------------------------------------------------------------------- /haskell/03hunit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/03hunit/README.md -------------------------------------------------------------------------------- /haskell/03hunit/main.hs: -------------------------------------------------------------------------------- 1 | module Main where 2 | 3 | import B 4 | 5 | main = putStrLn (show f) 6 | 7 | -------------------------------------------------------------------------------- /haskell/03hunit/test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/03hunit/test.hs -------------------------------------------------------------------------------- /haskell/04class/E.hi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/E.hi -------------------------------------------------------------------------------- /haskell/04class/E.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/E.hs -------------------------------------------------------------------------------- /haskell/04class/E.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/E.o -------------------------------------------------------------------------------- /haskell/04class/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/Makefile -------------------------------------------------------------------------------- /haskell/04class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/README.md -------------------------------------------------------------------------------- /haskell/04class/a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/a -------------------------------------------------------------------------------- /haskell/04class/main.hi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/main.hi -------------------------------------------------------------------------------- /haskell/04class/main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/main.hs -------------------------------------------------------------------------------- /haskell/04class/main.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/main.o -------------------------------------------------------------------------------- /haskell/04class/test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/04class/test.hs -------------------------------------------------------------------------------- /haskell/05do_monad/testio.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/05do_monad/testio.hs -------------------------------------------------------------------------------- /haskell/06class_monad/hmddoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/hmddoc -------------------------------------------------------------------------------- /haskell/06class_monad/ls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ls -------------------------------------------------------------------------------- /haskell/06class_monad/ls.hi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ls.hi -------------------------------------------------------------------------------- /haskell/06class_monad/ls.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ls.hs -------------------------------------------------------------------------------- /haskell/06class_monad/ls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ls.md -------------------------------------------------------------------------------- /haskell/06class_monad/ls.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ls.o -------------------------------------------------------------------------------- /haskell/06class_monad/main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/main.hs -------------------------------------------------------------------------------- /haskell/06class_monad/ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ok -------------------------------------------------------------------------------- /haskell/06class_monad/ok.hi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ok.hi -------------------------------------------------------------------------------- /haskell/06class_monad/ok.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ok.hs -------------------------------------------------------------------------------- /haskell/06class_monad/ok.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ok.md -------------------------------------------------------------------------------- /haskell/06class_monad/ok.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/06class_monad/ok.o -------------------------------------------------------------------------------- /haskell/07doctest/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/Makefile -------------------------------------------------------------------------------- /haskell/07doctest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/README.md -------------------------------------------------------------------------------- /haskell/07doctest/a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/a.hs -------------------------------------------------------------------------------- /haskell/07doctest/a.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/a.md -------------------------------------------------------------------------------- /haskell/07doctest/b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/b.hs -------------------------------------------------------------------------------- /haskell/07doctest/b.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/b.md -------------------------------------------------------------------------------- /haskell/07doctest/doc/A.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/doc/A.html -------------------------------------------------------------------------------- /haskell/07doctest/hmddoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/07doctest/hmddoc -------------------------------------------------------------------------------- /haskell/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/haskell/README.md -------------------------------------------------------------------------------- /hobby/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/hobby/README.md -------------------------------------------------------------------------------- /iterm2hack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/iterm2hack/README.md -------------------------------------------------------------------------------- /match/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/match/README.md -------------------------------------------------------------------------------- /match/a.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/match/a.rb -------------------------------------------------------------------------------- /match/a.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/match/a.scala -------------------------------------------------------------------------------- /mddocs/a.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/mddocs/a.md -------------------------------------------------------------------------------- /mddocs/a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/mddocs/a.ml -------------------------------------------------------------------------------- /mddocs/a.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/mddocs/a.php -------------------------------------------------------------------------------- /mddocs/types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/mddocs/types.md -------------------------------------------------------------------------------- /mddocs/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/mddocs/types.mli -------------------------------------------------------------------------------- /newml/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/newml/README.md -------------------------------------------------------------------------------- /newml/paper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/newml/paper.md -------------------------------------------------------------------------------- /ocaml/jasc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/Makefile -------------------------------------------------------------------------------- /ocaml/jasc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/README.md -------------------------------------------------------------------------------- /ocaml/jasc/examples/Arrays.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/examples/Arrays.j -------------------------------------------------------------------------------- /ocaml/jasc/examples/Catch.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/examples/Catch.j -------------------------------------------------------------------------------- /ocaml/jasc/examples/Count.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/examples/Count.j -------------------------------------------------------------------------------- /ocaml/jasc/examples/Switch.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/examples/Switch.j -------------------------------------------------------------------------------- /ocaml/jasc/ext/IO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/IO.ml -------------------------------------------------------------------------------- /ocaml/jasc/ext/IO.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/IO.mli -------------------------------------------------------------------------------- /ocaml/jasc/ext/enum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/enum.ml -------------------------------------------------------------------------------- /ocaml/jasc/ext/enum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/enum.mli -------------------------------------------------------------------------------- /ocaml/jasc/ext/extList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/extList.ml -------------------------------------------------------------------------------- /ocaml/jasc/ext/extList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/extList.mli -------------------------------------------------------------------------------- /ocaml/jasc/ext/extString.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/extString.ml -------------------------------------------------------------------------------- /ocaml/jasc/ext/extString.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/extString.mli -------------------------------------------------------------------------------- /ocaml/jasc/ext/pMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/pMap.ml -------------------------------------------------------------------------------- /ocaml/jasc/ext/pMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/ext/pMap.mli -------------------------------------------------------------------------------- /ocaml/jasc/jCode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jCode.ml -------------------------------------------------------------------------------- /ocaml/jasc/jCodePP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jCodePP.ml -------------------------------------------------------------------------------- /ocaml/jasc/jCodeReader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jCodeReader.ml -------------------------------------------------------------------------------- /ocaml/jasc/jCodeWriter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jCodeWriter.ml -------------------------------------------------------------------------------- /ocaml/jasc/jData.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jData.ml -------------------------------------------------------------------------------- /ocaml/jasc/jDataPP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jDataPP.ml -------------------------------------------------------------------------------- /ocaml/jasc/jReader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jReader.ml -------------------------------------------------------------------------------- /ocaml/jasc/jWriter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jWriter.ml -------------------------------------------------------------------------------- /ocaml/jasc/jasc.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jasc.exe -------------------------------------------------------------------------------- /ocaml/jasc/jasc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/jasc.ml -------------------------------------------------------------------------------- /ocaml/jasc/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/lexer.mll -------------------------------------------------------------------------------- /ocaml/jasc/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/parser.mly -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test001.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test001.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test001.java: -------------------------------------------------------------------------------- 1 | package tests; 2 | class Test001 {} 3 | -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test002.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test002.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test002.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test002.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test003.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test003.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test003.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test003.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test004.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test004.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test004.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test004.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test005.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test005.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test005.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test005.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test006.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test006.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test006.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test006.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test007.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test007.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test007.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test007.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test008.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test008.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test008.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test008.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test009.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test009.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test009.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test009.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test010.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test010.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test010.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test010.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_b.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_b.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_b.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_b.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_c.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_c.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_c.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_c.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_d.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_d.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_d.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_d.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_f.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_f.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_f.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_f.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_g.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_g.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_g.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_g.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_i.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_i.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_i.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_i.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_l.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_l.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_l.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_l.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_m.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_m.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_m.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_m.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_s.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_s.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_s.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_s.java -------------------------------------------------------------------------------- /ocaml/jasc/tests/Test_while.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/Test_while.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/jsr.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/jsr.j -------------------------------------------------------------------------------- /ocaml/jasc/tests/jsr2.j: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/jasc/tests/jsr2.j -------------------------------------------------------------------------------- /ocaml/llvm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/README.md -------------------------------------------------------------------------------- /ocaml/llvm/ll1_text/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll1_text/Makefile -------------------------------------------------------------------------------- /ocaml/llvm/ll1_text/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll1_text/README.md -------------------------------------------------------------------------------- /ocaml/llvm/ll1_text/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll1_text/ast.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll1_text/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll1_text/lexer.mll -------------------------------------------------------------------------------- /ocaml/llvm/ll1_text/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll1_text/main.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll1_text/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll1_text/utils.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/Makefile -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/README.md -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/ast.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/lexer.mll -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/main.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/parser.mly -------------------------------------------------------------------------------- /ocaml/llvm/ll2_jit/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll2_jit/utils.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll3_jit/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll3_jit/Makefile -------------------------------------------------------------------------------- /ocaml/llvm/ll3_jit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll3_jit/README.md -------------------------------------------------------------------------------- /ocaml/llvm/ll3_jit/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll3_jit/ast.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll3_jit/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll3_jit/lexer.mll -------------------------------------------------------------------------------- /ocaml/llvm/ll3_jit/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll3_jit/main.ml -------------------------------------------------------------------------------- /ocaml/llvm/ll3_jit/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/llvm/ll3_jit/parser.mly -------------------------------------------------------------------------------- /ocaml/minocaml/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/.depend -------------------------------------------------------------------------------- /ocaml/minocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/README.md -------------------------------------------------------------------------------- /ocaml/minocaml/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml/minParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minParser.ml -------------------------------------------------------------------------------- /ocaml/minocaml/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml2/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/.depend -------------------------------------------------------------------------------- /ocaml/minocaml2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/README.md -------------------------------------------------------------------------------- /ocaml/minocaml2/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml2/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml2/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml2/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml2/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml2/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml2/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml2/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml3/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/.depend -------------------------------------------------------------------------------- /ocaml/minocaml3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/README.md -------------------------------------------------------------------------------- /ocaml/minocaml3/a.ml: -------------------------------------------------------------------------------- 1 | let a = 1 2 | -------------------------------------------------------------------------------- /ocaml/minocaml3/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/a.out -------------------------------------------------------------------------------- /ocaml/minocaml3/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml3/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml3/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml3/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml3/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml3/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml3/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml3/t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/t.txt -------------------------------------------------------------------------------- /ocaml/minocaml3/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml3/yaccdep -------------------------------------------------------------------------------- /ocaml/minocaml4/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/.depend -------------------------------------------------------------------------------- /ocaml/minocaml4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml4/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/README.md -------------------------------------------------------------------------------- /ocaml/minocaml4/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/b.ml -------------------------------------------------------------------------------- /ocaml/minocaml4/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml4/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml4/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml4/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml4/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml4/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml4/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml4/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml4/yaccdep -------------------------------------------------------------------------------- /ocaml/minocaml5/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/.depend -------------------------------------------------------------------------------- /ocaml/minocaml5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/README.md -------------------------------------------------------------------------------- /ocaml/minocaml5/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/b.ml -------------------------------------------------------------------------------- /ocaml/minocaml5/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml5/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml5/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml5/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml5/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml5/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml5/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml5/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml5/yaccdep -------------------------------------------------------------------------------- /ocaml/minocaml6/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/.depend -------------------------------------------------------------------------------- /ocaml/minocaml6/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml6/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/README.md -------------------------------------------------------------------------------- /ocaml/minocaml6/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/b.ml -------------------------------------------------------------------------------- /ocaml/minocaml6/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml6/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml6/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml6/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml6/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml6/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml6/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml6/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml6/yaccdep -------------------------------------------------------------------------------- /ocaml/minocaml7/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/.depend -------------------------------------------------------------------------------- /ocaml/minocaml7/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml7/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/README.md -------------------------------------------------------------------------------- /ocaml/minocaml7/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/b.ml -------------------------------------------------------------------------------- /ocaml/minocaml7/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml7/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml7/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml7/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml7/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml7/minParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minParser.ml -------------------------------------------------------------------------------- /ocaml/minocaml7/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml7/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml7/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml7/yaccdep -------------------------------------------------------------------------------- /ocaml/minocaml8/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/.depend -------------------------------------------------------------------------------- /ocaml/minocaml8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/Makefile -------------------------------------------------------------------------------- /ocaml/minocaml8/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/README.md -------------------------------------------------------------------------------- /ocaml/minocaml8/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/b.ml -------------------------------------------------------------------------------- /ocaml/minocaml8/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/main.ml -------------------------------------------------------------------------------- /ocaml/minocaml8/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocaml8/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocaml8/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocaml8/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocaml8/minParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minParser.ml -------------------------------------------------------------------------------- /ocaml/minocaml8/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocaml8/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocaml8/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocaml8/yaccdep -------------------------------------------------------------------------------- /ocaml/minocamla/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/.depend -------------------------------------------------------------------------------- /ocaml/minocamla/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/Makefile -------------------------------------------------------------------------------- /ocaml/minocamla/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/README.md -------------------------------------------------------------------------------- /ocaml/minocamla/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/a.out -------------------------------------------------------------------------------- /ocaml/minocamla/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/b.ml -------------------------------------------------------------------------------- /ocaml/minocamla/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/main.ml -------------------------------------------------------------------------------- /ocaml/minocamla/minCompile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/minCompile.ml -------------------------------------------------------------------------------- /ocaml/minocamla/minLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/minLexer.mll -------------------------------------------------------------------------------- /ocaml/minocamla/minParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/minParse.ml -------------------------------------------------------------------------------- /ocaml/minocamla/minParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/minParse.mli -------------------------------------------------------------------------------- /ocaml/minocamla/minParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/minParser.mli -------------------------------------------------------------------------------- /ocaml/minocamla/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/minParser.mly -------------------------------------------------------------------------------- /ocaml/minocamla/yaccdep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/minocamla/yaccdep -------------------------------------------------------------------------------- /ocaml/nat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/nat/Makefile -------------------------------------------------------------------------------- /ocaml/nat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/nat/README.md -------------------------------------------------------------------------------- /ocaml/nat/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/nat/ast.ml -------------------------------------------------------------------------------- /ocaml/nat/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/nat/lexer.mll -------------------------------------------------------------------------------- /ocaml/nat/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/nat/main.ml -------------------------------------------------------------------------------- /ocaml/nat/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/nat/parser.mly -------------------------------------------------------------------------------- /ocaml/ocaml_src_reading/parsing/a.ml: -------------------------------------------------------------------------------- 1 | 1 2 | 3 | -------------------------------------------------------------------------------- /ocaml/ocaml_src_reading/parsing/a.ml1: -------------------------------------------------------------------------------- 1 | 2 | let _ = 1;; 3 | -------------------------------------------------------------------------------- /ocaml/pprint/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/README.md -------------------------------------------------------------------------------- /ocaml/pprint/ex2_1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex2_1.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex3_1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex3_1.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex3_2_1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex3_2_1.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex3_2_2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex3_2_2.js -------------------------------------------------------------------------------- /ocaml/pprint/ex3_2_2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex3_2_2.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex3_3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex3_3.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex3_3_b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex3_3_b.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex4_3_a/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex4_3_a/Makefile -------------------------------------------------------------------------------- /ocaml/pprint/ex4_3_a/e.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex4_3_a/e.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex4_3_a/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex4_3_a/main.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex4_3_b/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex4_3_b/Makefile -------------------------------------------------------------------------------- /ocaml/pprint/ex4_3_b/e.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex4_3_b/e.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex4_3_b/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex4_3_b/main.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_1_1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_1_1.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_1_2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_1_2.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_1_2_b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_1_2_b.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_1_2_c/e.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_1_2_c/e.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_2_a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_2_a.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_2_b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_2_b.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_2_c.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_2_c.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_2_d/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_2_d/Makefile -------------------------------------------------------------------------------- /ocaml/pprint/ex5_2_d/e.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_2_d/e.ml -------------------------------------------------------------------------------- /ocaml/pprint/ex5_2_d/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/pprint/ex5_2_d/main.ml -------------------------------------------------------------------------------- /ocaml/test1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/test1/Makefile -------------------------------------------------------------------------------- /ocaml/xml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/xml/Makefile -------------------------------------------------------------------------------- /ocaml/xml/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/xml/OMakefile -------------------------------------------------------------------------------- /ocaml/xml/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/xml/OMakeroot -------------------------------------------------------------------------------- /ocaml/xml/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/xml/lexer.mll -------------------------------------------------------------------------------- /ocaml/xml/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/xml/main.ml -------------------------------------------------------------------------------- /ocaml/xml/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/xml/parser.mly -------------------------------------------------------------------------------- /ocaml/yaccdep/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/Makefile -------------------------------------------------------------------------------- /ocaml/yaccdep/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/ast.ml -------------------------------------------------------------------------------- /ocaml/yaccdep/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/lexer.mll -------------------------------------------------------------------------------- /ocaml/yaccdep/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/main.ml -------------------------------------------------------------------------------- /ocaml/yaccdep/minParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/minParser.mly -------------------------------------------------------------------------------- /ocaml/yaccdep/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/parser.mly -------------------------------------------------------------------------------- /ocaml/yaccdep/scc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ocaml/yaccdep/scc.ml -------------------------------------------------------------------------------- /odoctest/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/Makefile -------------------------------------------------------------------------------- /odoctest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/README.md -------------------------------------------------------------------------------- /odoctest/a.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/a.md -------------------------------------------------------------------------------- /odoctest/a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/a.ml -------------------------------------------------------------------------------- /odoctest/b.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/b.md -------------------------------------------------------------------------------- /odoctest/b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/b.ml -------------------------------------------------------------------------------- /odoctest/odoctest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/odoctest -------------------------------------------------------------------------------- /odoctest/odoctest.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/odoctest/odoctest.rb -------------------------------------------------------------------------------- /ounit/.omakedb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ounit/.omakedb -------------------------------------------------------------------------------- /ounit/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ounit/OMakefile -------------------------------------------------------------------------------- /ounit/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ounit/OMakeroot -------------------------------------------------------------------------------- /ounit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ounit/README.md -------------------------------------------------------------------------------- /ounit/foo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ounit/foo.ml -------------------------------------------------------------------------------- /ounit/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/ounit/test.ml -------------------------------------------------------------------------------- /peg/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/peg/README.md -------------------------------------------------------------------------------- /peg/a.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/peg/a.js -------------------------------------------------------------------------------- /peg/b.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/peg/b.js -------------------------------------------------------------------------------- /peg/c.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/peg/c.js -------------------------------------------------------------------------------- /peg/d.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/peg/d.js -------------------------------------------------------------------------------- /pi/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/README.md -------------------------------------------------------------------------------- /pi/pi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi.ml -------------------------------------------------------------------------------- /pi/pi.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi.php -------------------------------------------------------------------------------- /pi/pi.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi.rb -------------------------------------------------------------------------------- /pi/pi.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi.scala -------------------------------------------------------------------------------- /pi/pi2.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi2.php -------------------------------------------------------------------------------- /pi/pi2.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi2.rb -------------------------------------------------------------------------------- /pi/pi3.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi3.php -------------------------------------------------------------------------------- /pi/pi3.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi3.rb -------------------------------------------------------------------------------- /pi/pi4.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi4.php -------------------------------------------------------------------------------- /pi/pi4.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi4.rb -------------------------------------------------------------------------------- /pi/pi5.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi5.php -------------------------------------------------------------------------------- /pi/pi5.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pi/pi5.rb -------------------------------------------------------------------------------- /pp_ast/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/Makefile -------------------------------------------------------------------------------- /pp_ast/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/README.md -------------------------------------------------------------------------------- /pp_ast/c01.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/c01.ml -------------------------------------------------------------------------------- /pp_ast/c02_lf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/c02_lf.ml -------------------------------------------------------------------------------- /pp_ast/c03_nest_gnu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/c03_nest_gnu.ml -------------------------------------------------------------------------------- /pp_ast/c04_nest2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/c04_nest2.ml -------------------------------------------------------------------------------- /pp_ast/c06_stmt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/c06_stmt.ml -------------------------------------------------------------------------------- /pp_ast/c07_fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/c07_fun.ml -------------------------------------------------------------------------------- /pp_ast/fib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/fib.cpp -------------------------------------------------------------------------------- /pp_ast/inc_dec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/inc_dec.ml -------------------------------------------------------------------------------- /pp_ast/test1/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/OMakefile -------------------------------------------------------------------------------- /pp_ast/test1/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/OMakeroot -------------------------------------------------------------------------------- /pp_ast/test1/fib1.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/fib1.cpp -------------------------------------------------------------------------------- /pp_ast/test1/fib1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/fib1.ml -------------------------------------------------------------------------------- /pp_ast/test1/fib2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/fib2.cpp -------------------------------------------------------------------------------- /pp_ast/test1/fib2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/fib2.h -------------------------------------------------------------------------------- /pp_ast/test1/fib2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/fib2.ml -------------------------------------------------------------------------------- /pp_ast/test1/fib3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test1/fib3.ml -------------------------------------------------------------------------------- /pp_ast/test2/.omakedb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/.omakedb -------------------------------------------------------------------------------- /pp_ast/test2/.omakedb.lock: -------------------------------------------------------------------------------- 1 | *** omake: the project was last locked by sakurai:53950. 2 | -------------------------------------------------------------------------------- /pp_ast/test2/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/OMakefile -------------------------------------------------------------------------------- /pp_ast/test2/OMakefile.omc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/OMakefile.omc -------------------------------------------------------------------------------- /pp_ast/test2/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/OMakeroot -------------------------------------------------------------------------------- /pp_ast/test2/OMakeroot.omc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/OMakeroot.omc -------------------------------------------------------------------------------- /pp_ast/test2/a.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/a.cpp -------------------------------------------------------------------------------- /pp_ast/test2/a.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/a.lll -------------------------------------------------------------------------------- /pp_ast/test2/a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/a.ml -------------------------------------------------------------------------------- /pp_ast/test2/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/a.out -------------------------------------------------------------------------------- /pp_ast/test2/a.rrr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/a.rrr -------------------------------------------------------------------------------- /pp_ast/test2/a.sss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/a.sss -------------------------------------------------------------------------------- /pp_ast/test2/b.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/b.lll -------------------------------------------------------------------------------- /pp_ast/test2/core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/core.h -------------------------------------------------------------------------------- /pp_ast/test2/exp.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/exp.cmi -------------------------------------------------------------------------------- /pp_ast/test2/exp.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/exp.cmx -------------------------------------------------------------------------------- /pp_ast/test2/exp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/exp.ml -------------------------------------------------------------------------------- /pp_ast/test2/exp.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/exp.o -------------------------------------------------------------------------------- /pp_ast/test2/lexer.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/lexer.cmi -------------------------------------------------------------------------------- /pp_ast/test2/lexer.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/lexer.cmx -------------------------------------------------------------------------------- /pp_ast/test2/lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/lexer.ml -------------------------------------------------------------------------------- /pp_ast/test2/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/lexer.mll -------------------------------------------------------------------------------- /pp_ast/test2/lexer.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/lexer.o -------------------------------------------------------------------------------- /pp_ast/test2/lllc: -------------------------------------------------------------------------------- 1 | lllc.opt -------------------------------------------------------------------------------- /pp_ast/test2/lllc.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/lllc.opt -------------------------------------------------------------------------------- /pp_ast/test2/main.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/main.cmi -------------------------------------------------------------------------------- /pp_ast/test2/main.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/main.cmx -------------------------------------------------------------------------------- /pp_ast/test2/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/main.ml -------------------------------------------------------------------------------- /pp_ast/test2/main.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/main.o -------------------------------------------------------------------------------- /pp_ast/test2/mksrc.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/mksrc.php -------------------------------------------------------------------------------- /pp_ast/test2/mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/mmap.c -------------------------------------------------------------------------------- /pp_ast/test2/parser.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/parser.cmi -------------------------------------------------------------------------------- /pp_ast/test2/parser.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/parser.cmx -------------------------------------------------------------------------------- /pp_ast/test2/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/parser.ml -------------------------------------------------------------------------------- /pp_ast/test2/parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/parser.mli -------------------------------------------------------------------------------- /pp_ast/test2/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/parser.mly -------------------------------------------------------------------------------- /pp_ast/test2/parser.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/parser.o -------------------------------------------------------------------------------- /pp_ast/test2/stmt.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/stmt.cmi -------------------------------------------------------------------------------- /pp_ast/test2/stmt.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/stmt.cmx -------------------------------------------------------------------------------- /pp_ast/test2/stmt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/stmt.ml -------------------------------------------------------------------------------- /pp_ast/test2/stmt.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/stmt.o -------------------------------------------------------------------------------- /pp_ast/test2/syntax.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/syntax.cmi -------------------------------------------------------------------------------- /pp_ast/test2/syntax.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/syntax.cmx -------------------------------------------------------------------------------- /pp_ast/test2/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/syntax.ml -------------------------------------------------------------------------------- /pp_ast/test2/syntax.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/syntax.o -------------------------------------------------------------------------------- /pp_ast/test2/ty.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/ty.cmi -------------------------------------------------------------------------------- /pp_ast/test2/ty.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/ty.cmx -------------------------------------------------------------------------------- /pp_ast/test2/ty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/ty.ml -------------------------------------------------------------------------------- /pp_ast/test2/ty.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/ty.o -------------------------------------------------------------------------------- /pp_ast/test2/utils.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/utils.cmi -------------------------------------------------------------------------------- /pp_ast/test2/utils.cmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/utils.cmx -------------------------------------------------------------------------------- /pp_ast/test2/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/utils.ml -------------------------------------------------------------------------------- /pp_ast/test2/utils.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test2/utils.o -------------------------------------------------------------------------------- /pp_ast/test3/.omakedb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/.omakedb -------------------------------------------------------------------------------- /pp_ast/test3/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/OMakefile -------------------------------------------------------------------------------- /pp_ast/test3/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/OMakeroot -------------------------------------------------------------------------------- /pp_ast/test3/a.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.cpp -------------------------------------------------------------------------------- /pp_ast/test3/a.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.go -------------------------------------------------------------------------------- /pp_ast/test3/a.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.lll -------------------------------------------------------------------------------- /pp_ast/test3/a.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.ml -------------------------------------------------------------------------------- /pp_ast/test3/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.out -------------------------------------------------------------------------------- /pp_ast/test3/a.rrr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.rrr -------------------------------------------------------------------------------- /pp_ast/test3/a.sss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/a.sss -------------------------------------------------------------------------------- /pp_ast/test3/c.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/c.cpp -------------------------------------------------------------------------------- /pp_ast/test3/c.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/c.lll -------------------------------------------------------------------------------- /pp_ast/test3/core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/core.h -------------------------------------------------------------------------------- /pp_ast/test3/exp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/exp.ml -------------------------------------------------------------------------------- /pp_ast/test3/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/lexer.mll -------------------------------------------------------------------------------- /pp_ast/test3/lllc: -------------------------------------------------------------------------------- 1 | lllc.opt -------------------------------------------------------------------------------- /pp_ast/test3/lllc.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/lllc.opt -------------------------------------------------------------------------------- /pp_ast/test3/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/main.ml -------------------------------------------------------------------------------- /pp_ast/test3/mksrc.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/mksrc.php -------------------------------------------------------------------------------- /pp_ast/test3/mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/mmap.c -------------------------------------------------------------------------------- /pp_ast/test3/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/parser.mly -------------------------------------------------------------------------------- /pp_ast/test3/stmt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/stmt.ml -------------------------------------------------------------------------------- /pp_ast/test3/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/syntax.ml -------------------------------------------------------------------------------- /pp_ast/test3/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/test.ml -------------------------------------------------------------------------------- /pp_ast/test3/ty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/ty.ml -------------------------------------------------------------------------------- /pp_ast/test3/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test3/utils.ml -------------------------------------------------------------------------------- /pp_ast/test_size/mksrc.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test_size/mksrc.php -------------------------------------------------------------------------------- /pp_ast/test_size/prg.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/pp_ast/test_size/prg.lll -------------------------------------------------------------------------------- /printer/a2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/printer/a2.ml -------------------------------------------------------------------------------- /prolog/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/Makefile -------------------------------------------------------------------------------- /prolog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/README.md -------------------------------------------------------------------------------- /prolog/add.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/add.pl -------------------------------------------------------------------------------- /prolog/add2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/add2.pl -------------------------------------------------------------------------------- /prolog/calc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/calc.pl -------------------------------------------------------------------------------- /prolog/calc2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/calc2.pl -------------------------------------------------------------------------------- /prolog/cho_prolog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/cho_prolog/README.md -------------------------------------------------------------------------------- /prolog/cut.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/cut.pl -------------------------------------------------------------------------------- /prolog/fact.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/fact.pl -------------------------------------------------------------------------------- /prolog/hello.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/hello.pl -------------------------------------------------------------------------------- /prolog/ios/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /prolog/ios/README.md: -------------------------------------------------------------------------------- 1 | # ios から編集して見るテストです 2 | 3 | 変える -------------------------------------------------------------------------------- /prolog/list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/list.pl -------------------------------------------------------------------------------- /prolog/seqprover.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/seqprover.pl -------------------------------------------------------------------------------- /prolog/strlist.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/strlist.pl -------------------------------------------------------------------------------- /prolog/tapl/fj.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/tapl/fj.md -------------------------------------------------------------------------------- /prolog/tapl/fj.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/tapl/fj.pl -------------------------------------------------------------------------------- /prolog/tapl/systemdsub/cbn.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/tapl/systemdsub/cbn.pl -------------------------------------------------------------------------------- /prolog/test01.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/prolog/test01.pl -------------------------------------------------------------------------------- /rst/README.mediawiki: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/README.mediawiki -------------------------------------------------------------------------------- /rst/README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/README.org -------------------------------------------------------------------------------- /rst/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/README.rst -------------------------------------------------------------------------------- /rst/test.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/test.adoc -------------------------------------------------------------------------------- /rst/test.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/test.md -------------------------------------------------------------------------------- /rst/test.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/test.rst -------------------------------------------------------------------------------- /rst/test.textile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/test.textile -------------------------------------------------------------------------------- /rst/ttt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/rst/ttt.md -------------------------------------------------------------------------------- /scala/ftdop/ftdop4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/scala/ftdop/ftdop4/Makefile -------------------------------------------------------------------------------- /scala/ftdop/ftdop5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/scala/ftdop/ftdop5/Makefile -------------------------------------------------------------------------------- /scala/ftdop/ftdop5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/scala/ftdop/ftdop5/README.md -------------------------------------------------------------------------------- /scala/ftdop/ftdop5/mul.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/scala/ftdop/ftdop5/mul.scala -------------------------------------------------------------------------------- /scala/tests/a.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/scala/tests/a.scala -------------------------------------------------------------------------------- /sstp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/sstp/README.md -------------------------------------------------------------------------------- /sstp/home.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/sstp/home.php -------------------------------------------------------------------------------- /thih/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/README.md -------------------------------------------------------------------------------- /thih/abstract.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/abstract.md -------------------------------------------------------------------------------- /thih/chap01/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap01/README.md -------------------------------------------------------------------------------- /thih/chap01/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap01/README_ml.md -------------------------------------------------------------------------------- /thih/chap02/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap02/README.md -------------------------------------------------------------------------------- /thih/chap02/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap02/README_ml.md -------------------------------------------------------------------------------- /thih/chap02/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap02/id.ml -------------------------------------------------------------------------------- /thih/chap02/pre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap02/pre.ml -------------------------------------------------------------------------------- /thih/chap03/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap03/README.md -------------------------------------------------------------------------------- /thih/chap03/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap03/README_ml.md -------------------------------------------------------------------------------- /thih/chap03/kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap03/kind.ml -------------------------------------------------------------------------------- /thih/chap04/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap04/README.md -------------------------------------------------------------------------------- /thih/chap04/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap04/README_ml.md -------------------------------------------------------------------------------- /thih/chap04/type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap04/type.ml -------------------------------------------------------------------------------- /thih/chap05/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap05/README.md -------------------------------------------------------------------------------- /thih/chap05/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap05/README_ml.md -------------------------------------------------------------------------------- /thih/chap05/subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap05/subst.ml -------------------------------------------------------------------------------- /thih/chap06/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap06/README.md -------------------------------------------------------------------------------- /thih/chap06/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap06/README_ml.md -------------------------------------------------------------------------------- /thih/chap06/unify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap06/unify.ml -------------------------------------------------------------------------------- /thih/chap07/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README.md -------------------------------------------------------------------------------- /thih/chap07/README_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_1.md -------------------------------------------------------------------------------- /thih/chap07/README_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_2.md -------------------------------------------------------------------------------- /thih/chap07/README_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_3.md -------------------------------------------------------------------------------- /thih/chap07/README_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_4.md -------------------------------------------------------------------------------- /thih/chap07/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_ml.md -------------------------------------------------------------------------------- /thih/chap07/README_ml_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_ml_1.md -------------------------------------------------------------------------------- /thih/chap07/README_ml_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_ml_2.md -------------------------------------------------------------------------------- /thih/chap07/README_ml_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_ml_3.md -------------------------------------------------------------------------------- /thih/chap07/README_ml_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/README_ml_4.md -------------------------------------------------------------------------------- /thih/chap07/pred.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap07/pred.ml -------------------------------------------------------------------------------- /thih/chap08/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap08/README.md -------------------------------------------------------------------------------- /thih/chap08/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap08/README_ml.md -------------------------------------------------------------------------------- /thih/chap08/scheme.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap08/scheme.ml -------------------------------------------------------------------------------- /thih/chap09/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap09/README.md -------------------------------------------------------------------------------- /thih/chap09/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap09/README_ml.md -------------------------------------------------------------------------------- /thih/chap09/assump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap09/assump.ml -------------------------------------------------------------------------------- /thih/chap10/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap10/README.md -------------------------------------------------------------------------------- /thih/chap10/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap10/README_ml.md -------------------------------------------------------------------------------- /thih/chap10/timonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap10/timonad.ml -------------------------------------------------------------------------------- /thih/chap11/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README.md -------------------------------------------------------------------------------- /thih/chap11/README_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_1.md -------------------------------------------------------------------------------- /thih/chap11/README_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_2.md -------------------------------------------------------------------------------- /thih/chap11/README_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_3.md -------------------------------------------------------------------------------- /thih/chap11/README_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_4.md -------------------------------------------------------------------------------- /thih/chap11/README_5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_5.md -------------------------------------------------------------------------------- /thih/chap11/README_5_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_5_1.md -------------------------------------------------------------------------------- /thih/chap11/README_6.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_6.md -------------------------------------------------------------------------------- /thih/chap11/README_6_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_6_1.md -------------------------------------------------------------------------------- /thih/chap11/README_6_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_6_2.md -------------------------------------------------------------------------------- /thih/chap11/README_6_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_6_3.md -------------------------------------------------------------------------------- /thih/chap11/README_6_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_6_4.md -------------------------------------------------------------------------------- /thih/chap11/README_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_ml.md -------------------------------------------------------------------------------- /thih/chap11/README_ml_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_ml_1.md -------------------------------------------------------------------------------- /thih/chap11/README_ml_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_ml_2.md -------------------------------------------------------------------------------- /thih/chap11/README_ml_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_ml_3.md -------------------------------------------------------------------------------- /thih/chap11/README_ml_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_ml_4.md -------------------------------------------------------------------------------- /thih/chap11/README_ml_5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/README_ml_5.md -------------------------------------------------------------------------------- /thih/chap11/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/a.out -------------------------------------------------------------------------------- /thih/chap11/thih.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/thih.cmi -------------------------------------------------------------------------------- /thih/chap11/thih.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/thih.cmo -------------------------------------------------------------------------------- /thih/chap11/thih.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap11/thih.ml -------------------------------------------------------------------------------- /thih/chap12/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/chap12/README.md -------------------------------------------------------------------------------- /thih/epub.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/epub.css -------------------------------------------------------------------------------- /thih/erlang/rebar.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/rebar.config -------------------------------------------------------------------------------- /thih/erlang/src/assump.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/assump.erl -------------------------------------------------------------------------------- /thih/erlang/src/id.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/id.erl -------------------------------------------------------------------------------- /thih/erlang/src/infer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/infer.erl -------------------------------------------------------------------------------- /thih/erlang/src/kind.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/kind.erl -------------------------------------------------------------------------------- /thih/erlang/src/lit.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/lit.erl -------------------------------------------------------------------------------- /thih/erlang/src/pat.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/pat.erl -------------------------------------------------------------------------------- /thih/erlang/src/pre.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/pre.erl -------------------------------------------------------------------------------- /thih/erlang/src/pred.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/pred.erl -------------------------------------------------------------------------------- /thih/erlang/src/scheme.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/scheme.erl -------------------------------------------------------------------------------- /thih/erlang/src/subst.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/subst.erl -------------------------------------------------------------------------------- /thih/erlang/src/thih.app.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/thih.app.src -------------------------------------------------------------------------------- /thih/erlang/src/thih.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/thih.erl -------------------------------------------------------------------------------- /thih/erlang/src/thih_app.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/thih_app.erl -------------------------------------------------------------------------------- /thih/erlang/src/thih_sup.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/thih_sup.erl -------------------------------------------------------------------------------- /thih/erlang/src/timain.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/timain.erl -------------------------------------------------------------------------------- /thih/erlang/src/timonad.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/timonad.erl -------------------------------------------------------------------------------- /thih/erlang/src/type.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/type.erl -------------------------------------------------------------------------------- /thih/erlang/src/unify.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/erlang/src/unify.erl -------------------------------------------------------------------------------- /thih/footnotes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/footnotes.md -------------------------------------------------------------------------------- /thih/mkepub.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/mkepub.sh -------------------------------------------------------------------------------- /thih/mkepub_ml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/mkepub_ml.sh -------------------------------------------------------------------------------- /thih/ocaml/.omakedb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/.omakedb -------------------------------------------------------------------------------- /thih/ocaml/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/OMakefile -------------------------------------------------------------------------------- /thih/ocaml/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/OMakeroot -------------------------------------------------------------------------------- /thih/ocaml/odoctest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/odoctest -------------------------------------------------------------------------------- /thih/ocaml/test01_pre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test01_pre.ml -------------------------------------------------------------------------------- /thih/ocaml/test02_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test02_id.ml -------------------------------------------------------------------------------- /thih/ocaml/test03_kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test03_kind.ml -------------------------------------------------------------------------------- /thih/ocaml/test04_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test04_type.ml -------------------------------------------------------------------------------- /thih/ocaml/test05_subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test05_subst.ml -------------------------------------------------------------------------------- /thih/ocaml/test06_unify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test06_unify.ml -------------------------------------------------------------------------------- /thih/ocaml/test07_pred.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test07_pred.ml -------------------------------------------------------------------------------- /thih/ocaml/test08_scheme.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test08_scheme.ml -------------------------------------------------------------------------------- /thih/ocaml/test09_assump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test09_assump.ml -------------------------------------------------------------------------------- /thih/ocaml/test10_timonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test10_timonad.ml -------------------------------------------------------------------------------- /thih/ocaml/test11_0_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test11_0_infer.ml -------------------------------------------------------------------------------- /thih/ocaml/test11_1_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test11_1_lit.ml -------------------------------------------------------------------------------- /thih/ocaml/test11_2_pat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test11_2_pat.ml -------------------------------------------------------------------------------- /thih/ocaml/test11_3_timain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/test11_3_timain.ml -------------------------------------------------------------------------------- /thih/ocaml/thih.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml/thih.ml -------------------------------------------------------------------------------- /thih/ocaml2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/Makefile -------------------------------------------------------------------------------- /thih/ocaml2/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/OMakefile -------------------------------------------------------------------------------- /thih/ocaml2/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/OMakeroot -------------------------------------------------------------------------------- /thih/ocaml2/assump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/assump.ml -------------------------------------------------------------------------------- /thih/ocaml2/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/id.ml -------------------------------------------------------------------------------- /thih/ocaml2/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/infer.ml -------------------------------------------------------------------------------- /thih/ocaml2/kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/kind.ml -------------------------------------------------------------------------------- /thih/ocaml2/lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/lit.ml -------------------------------------------------------------------------------- /thih/ocaml2/odoctest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/odoctest -------------------------------------------------------------------------------- /thih/ocaml2/pat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/pat.ml -------------------------------------------------------------------------------- /thih/ocaml2/pre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/pre.ml -------------------------------------------------------------------------------- /thih/ocaml2/pred.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/pred.ml -------------------------------------------------------------------------------- /thih/ocaml2/scheme.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/scheme.ml -------------------------------------------------------------------------------- /thih/ocaml2/subst_.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/subst_.ml -------------------------------------------------------------------------------- /thih/ocaml2/tIMain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/tIMain.ml -------------------------------------------------------------------------------- /thih/ocaml2/tIMonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/tIMonad.ml -------------------------------------------------------------------------------- /thih/ocaml2/type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/type.ml -------------------------------------------------------------------------------- /thih/ocaml2/unify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/ocaml2/unify.ml -------------------------------------------------------------------------------- /thih/references.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/references.md -------------------------------------------------------------------------------- /thih/scala/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/scala/build.sbt -------------------------------------------------------------------------------- /thih/thih.epub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/thih.epub -------------------------------------------------------------------------------- /thih/thih_ml.epub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/thih_ml.epub -------------------------------------------------------------------------------- /thih/title.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/thih/title.txt -------------------------------------------------------------------------------- /traittable/fib/Any.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/Any.java -------------------------------------------------------------------------------- /traittable/fib/EInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/EInt.java -------------------------------------------------------------------------------- /traittable/fib/Fib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/Fib.java -------------------------------------------------------------------------------- /traittable/fib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/README.md -------------------------------------------------------------------------------- /traittable/fib/VTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/VTable.java -------------------------------------------------------------------------------- /traittable/fib/fib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.cpp -------------------------------------------------------------------------------- /traittable/fib/fib.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.go -------------------------------------------------------------------------------- /traittable/fib/fib.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.js -------------------------------------------------------------------------------- /traittable/fib/fib.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.m -------------------------------------------------------------------------------- /traittable/fib/fib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.ml -------------------------------------------------------------------------------- /traittable/fib/fib.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.php -------------------------------------------------------------------------------- /traittable/fib/fib.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.rb -------------------------------------------------------------------------------- /traittable/fib/fib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/traittable/fib/fib.rs -------------------------------------------------------------------------------- /typeclass/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/README.md -------------------------------------------------------------------------------- /typeclass/impl_tclass5ja.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/impl_tclass5ja.md -------------------------------------------------------------------------------- /typeclass/impl_tclass6_7.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/impl_tclass6_7.md -------------------------------------------------------------------------------- /typeclass/make.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/make.md -------------------------------------------------------------------------------- /typeclass/make.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/make.pdf -------------------------------------------------------------------------------- /typeclass/tclass/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/tclass/README.md -------------------------------------------------------------------------------- /typeclass/tclass/mono/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typeclass/tclass/mono/main.ml -------------------------------------------------------------------------------- /typetheory/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/README.md -------------------------------------------------------------------------------- /typetheory/css/epub.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/css/epub.css -------------------------------------------------------------------------------- /typetheory/images/char1.mdp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char1.mdp -------------------------------------------------------------------------------- /typetheory/images/char1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char1.png -------------------------------------------------------------------------------- /typetheory/images/char1_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char1_1.png -------------------------------------------------------------------------------- /typetheory/images/char2.mdp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char2.mdp -------------------------------------------------------------------------------- /typetheory/images/char2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char2.png -------------------------------------------------------------------------------- /typetheory/images/char2_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char2_1.png -------------------------------------------------------------------------------- /typetheory/images/char3.mdp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char3.mdp -------------------------------------------------------------------------------- /typetheory/images/char3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char3.png -------------------------------------------------------------------------------- /typetheory/images/char3_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/images/char3_1.png -------------------------------------------------------------------------------- /typetheory/mkepub.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/mkepub.sh -------------------------------------------------------------------------------- /typetheory/set.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set.md -------------------------------------------------------------------------------- /typetheory/set00.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set00.md -------------------------------------------------------------------------------- /typetheory/set01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set01.md -------------------------------------------------------------------------------- /typetheory/set02.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set02.md -------------------------------------------------------------------------------- /typetheory/set03.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set03.md -------------------------------------------------------------------------------- /typetheory/set04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set04.md -------------------------------------------------------------------------------- /typetheory/set05.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set05.md -------------------------------------------------------------------------------- /typetheory/set99.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set99.md -------------------------------------------------------------------------------- /typetheory/set_.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/set_.md -------------------------------------------------------------------------------- /typetheory/title.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/title.txt -------------------------------------------------------------------------------- /typetheory/typetheory.epub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/typetheory/typetheory.epub -------------------------------------------------------------------------------- /xxml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/Makefile -------------------------------------------------------------------------------- /xxml/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/README.md -------------------------------------------------------------------------------- /xxml/fastparse/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/fastparse/build.sbt -------------------------------------------------------------------------------- /xxml/fastparse/tes3.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/fastparse/tes3.scala -------------------------------------------------------------------------------- /xxml/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/index.html -------------------------------------------------------------------------------- /xxml/tes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/tes.py -------------------------------------------------------------------------------- /xxml/tes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/tes.scala -------------------------------------------------------------------------------- /xxml/tes2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/tes2.scala -------------------------------------------------------------------------------- /xxml/tes3.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/tes3.scala -------------------------------------------------------------------------------- /xxml/tes4.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/tes4.scala -------------------------------------------------------------------------------- /xxml/xxml.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml.scala -------------------------------------------------------------------------------- /xxml/xxml1_1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml1_1.scala -------------------------------------------------------------------------------- /xxml/xxml1_2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml1_2.scala -------------------------------------------------------------------------------- /xxml/xxml1_3.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml1_3.scala -------------------------------------------------------------------------------- /xxml/xxml2_1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml2_1.scala -------------------------------------------------------------------------------- /xxml/xxml2_2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml2_2.scala -------------------------------------------------------------------------------- /xxml/xxml2_3.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml2_3.scala -------------------------------------------------------------------------------- /xxml/xxml3_1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml3_1.scala -------------------------------------------------------------------------------- /xxml/xxml3_2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/xxml/xxml3_2.scala -------------------------------------------------------------------------------- /yacc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/README.md -------------------------------------------------------------------------------- /yacc/calc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc/Makefile -------------------------------------------------------------------------------- /yacc/calc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc/README.md -------------------------------------------------------------------------------- /yacc/calc/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc/lexer.l -------------------------------------------------------------------------------- /yacc/calc/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc/main.c -------------------------------------------------------------------------------- /yacc/calc/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc/parser.y -------------------------------------------------------------------------------- /yacc/calc/syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc/syntax.h -------------------------------------------------------------------------------- /yacc/calc_ast/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/Makefile -------------------------------------------------------------------------------- /yacc/calc_ast/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/README.md -------------------------------------------------------------------------------- /yacc/calc_ast/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/lexer.l -------------------------------------------------------------------------------- /yacc/calc_ast/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/main.c -------------------------------------------------------------------------------- /yacc/calc_ast/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/parser.y -------------------------------------------------------------------------------- /yacc/calc_ast/syntax.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/syntax.c -------------------------------------------------------------------------------- /yacc/calc_ast/syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast/syntax.h -------------------------------------------------------------------------------- /yacc/calc_ast_eval/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/Makefile -------------------------------------------------------------------------------- /yacc/calc_ast_eval/eval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/eval.c -------------------------------------------------------------------------------- /yacc/calc_ast_eval/eval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/eval.h -------------------------------------------------------------------------------- /yacc/calc_ast_eval/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/lexer.l -------------------------------------------------------------------------------- /yacc/calc_ast_eval/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/main.c -------------------------------------------------------------------------------- /yacc/calc_ast_eval/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/parser.y -------------------------------------------------------------------------------- /yacc/calc_ast_eval/syntax.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/syntax.c -------------------------------------------------------------------------------- /yacc/calc_ast_eval/syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_ast_eval/syntax.h -------------------------------------------------------------------------------- /yacc/calc_check/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_check/Makefile -------------------------------------------------------------------------------- /yacc/calc_check/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_check/README.md -------------------------------------------------------------------------------- /yacc/calc_check/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_check/lexer.l -------------------------------------------------------------------------------- /yacc/calc_check/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_check/main.c -------------------------------------------------------------------------------- /yacc/calc_check/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/calc_check/parser.y -------------------------------------------------------------------------------- /yacc/lambda/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/Makefile -------------------------------------------------------------------------------- /yacc/lambda/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/README.md -------------------------------------------------------------------------------- /yacc/lambda/eval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/eval.c -------------------------------------------------------------------------------- /yacc/lambda/eval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/eval.h -------------------------------------------------------------------------------- /yacc/lambda/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/lexer.l -------------------------------------------------------------------------------- /yacc/lambda/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/main.c -------------------------------------------------------------------------------- /yacc/lambda/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/parser.y -------------------------------------------------------------------------------- /yacc/lambda/syntax.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/syntax.c -------------------------------------------------------------------------------- /yacc/lambda/syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/lambda/syntax.h -------------------------------------------------------------------------------- /yacc/min_caml_asm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/Makefile -------------------------------------------------------------------------------- /yacc/min_caml_asm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/README.md -------------------------------------------------------------------------------- /yacc/min_caml_asm/ast.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/ast.cpp -------------------------------------------------------------------------------- /yacc/min_caml_asm/ast.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/ast.h -------------------------------------------------------------------------------- /yacc/min_caml_asm/emit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/emit.cpp -------------------------------------------------------------------------------- /yacc/min_caml_asm/lexer.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/lexer.l -------------------------------------------------------------------------------- /yacc/min_caml_asm/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/main.cpp -------------------------------------------------------------------------------- /yacc/min_caml_asm/nbproject/private/Default-exec.log: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /yacc/min_caml_asm/nbproject/private/Default.properties: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /yacc/min_caml_asm/parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/parser.y -------------------------------------------------------------------------------- /yacc/min_caml_asm/simm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/simm.cpp -------------------------------------------------------------------------------- /yacc/min_caml_asm/stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hsk/docs/HEAD/yacc/min_caml_asm/stub.c --------------------------------------------------------------------------------