Видео ютуба по тегу Orcid:0000-0003-2999-0637

[Haskell'22] Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
[Haskell'22] Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs