EggsML icon indicating copy to clipboard operation
EggsML copied to clipboard

Published 20 hours ago • verified publisher icon athas

Omskriv al den Rust-kode vi har i concieggs til Haskell

Open athas opened this issue 3 years ago • 3 comments

athas avatar Feb 11 '22 12:02 athas

Fremtidstænkning! Det liker vi!

oleks avatar Feb 11 '22 13:02 oleks

Og hvornår går vi så videre til Agda?

athas avatar Feb 11 '22 13:02 athas

Hov hov, ikke glem om Idris!

oleks avatar Feb 12 '22 07:02 oleks