Skip to content

damhiya/damhiya

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

5 Commits
README.md
README.md
ย 
ย 

Repository files navigation

Hi there ๐Ÿ‘‹

I'm mostly interested in FP & proof language

  • Haskell
  • Agda
  • Coq
  • Nix

Blog

ํ•˜์Šค์ผˆ ํ•™๊ต

ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์–ธ์–ด ํ•˜์Šค์ผˆ์„ ์ฃผ์ œ๋กœ ํ•˜๋Š” ํ•œ๊ตญ์–ด ๋””์Šค์ฝ”๋“œ ์ฑ„ํŒ…๋ฐฉ์ž…๋‹ˆ๋‹ค. ๋‹ค๋ฅธ ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์–ธ์–ด๋‚˜ PLT, ์ฆ๋ช…์–ธ์–ด ๊ด€๋ จ ์ด์•ผ๊ธฐ๋„ ์ž์ฃผ ํ•ฉ๋‹ˆ๋‹ค.

https://discord.gg/qjTbVvzA2P

About

No description, website, or topics provided.

Resources

Readme
Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published