-
Agda
-
BlueSpec
-
Carp
-
clash
-
cogent
-
Cryptol
-
dhall
-
Elm
-
Futhark
-
GHC
-
Husk (Scheme implementation)
-
Idris
-
Kitten
-
Mu
-
Pugs (first Perl 6 implementation)
-
PureScript
-
quipper
-
Sixten
https://twitter.com/pasiphae_goals/status/952650049783324674