[–] jonjacky 3mo ago ↗ Very interesting!FYI, other operating systems in Haskell:House, 2005: https://programatica.cs.pdx.edu//House/HalVM, 2008: https://github.com/GaloisInc/HaLVMalsoHalNS network stack 2011: https://mail.haskell.org/pipermail/haskell-cafe/2011-May/092...
1 comment
[ 4.6 ms ] story [ 10.0 ms ] threadFYI, other operating systems in Haskell:
House, 2005: https://programatica.cs.pdx.edu//House/
HalVM, 2008: https://github.com/GaloisInc/HaLVM
also
HalNS network stack 2011: https://mail.haskell.org/pipermail/haskell-cafe/2011-May/092...