Formality-Core: an optimal, parallel compile target for functional languages | Heykuki News