wasabi
LightNews LightNews
banner
wasabi315.bsky.social
wasabi
@wasabi315.bsky.social
26 followers 37 following 25 posts
:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)

https://wasabi315.github.io/en/
Posts Replies Media Videos
wasabi315.bsky.social
Now it reports all missing cases!
August 28, 2025 at 11:36 PM
wasabi315.bsky.social
Added a search algorithm in which you can include variables to be unified in the query!
github.com/wasabi315/ty...
March 25, 2025 at 3:22 AM
wasabi315.bsky.social
Added an algorithm for dependent types!
github.com/wasabi315/ty...
March 5, 2025 at 7:10 AM
wasabi315.bsky.social
Added an algorithm for SystemF!
github.com/wasabi315/ty...
February 22, 2025 at 9:19 AM
wasabi315.bsky.social
網羅性検査を実際に動かしてる例
December 15, 2024 at 2:10 AM
wasabi315.bsky.social
June 1, 2024 at 5:37 AM
wasabi315.bsky.social
そういえば分割束縛できる機能もつけた、ちゃんとlazyなパターンマッチになってる
画像はTardisモナドのbindの実装
May 11, 2024 at 12:32 AM