go-actor (incomplete)
go stdlib practice
input number budou-no-fusa
Add class hoge
Add coq files
Add haskell files
add menhir example