Skip to content
coron
Connect :
clip
cheese
tumblr
takimura official site
coron
Connect :
clip
cheese
tumblr
takimura official site
TechWatch
A dependently typed language for proofs that you can implement in one day
Posted by
Hacker News
10/02/2021
もっと詳しく
Comments
Post navigation
Previous Post
Previous post:
宣言解除後初の週末、ＴＤＬに行列・銀座は半年ぶりの歩行者天国
Next Post
Next post:
カリフォルニア州 児童生徒の接種義務化へ 10/2 12:51更新
Toggle Sidebar
Search the website
Hit enter to search or ESC to close
