欸個🧊平常心雞蛋冰
@egg820
Sun, Nov 8, 2020 11:15 AM
3
爛 code (x)
dependently typed functional 爛 code
Abby@γ(t)不是yt
@abbychau
Sun, Nov 8, 2020 11:27 AM
agda 大佬 m(__)m
欸個🧊平常心雞蛋冰
@egg820
Sun, Nov 8, 2020 11:36 AM
Abby@γ(t)不是yt
: 就是不太會用才寫這麼醜 XDD
ㄍㄌ🫠
@andy0130tw
Sun, Nov 8, 2020 11:45 AM
適合拿來給我寫的 Agda mode 當壓力測試 (X
毛茸茸 ･*･:≡( ε:)
@SpyMomiji
Sun, Nov 8, 2020 11:56 AM
欸個🧊平常心雞蛋冰
@egg820
Sun, Nov 8, 2020 12:21 PM
ㄍㄌ🫠
: 我之前有把我的vim弄到卡卡的（（
後來只好分成兩個檔案
欸個🧊平常心雞蛋冰
@egg820
Sun, Nov 8, 2020 12:22 PM
毛茸茸 ･*･:≡( ε:)
:
ㄍㄌ🫠
@andy0130tw
Sun, Nov 8, 2020 12:47 PM
欸個🧊平常心雞蛋冰
: 我寫 TypeScript 到後來也是 (
載入新的回覆
dependently typed functional 爛 code
後來只好分成兩個檔案