PLDB Measures Concepts

formality

< >

formality is a programming language created in 2019 by Victor Maia.

Source code:

git clone https://github.com/moonad/formality-base

#2082on PLDB

5Years Old

Standard library for the Formality language

formality website
formality is developed on GitHub and has 18 stars
formality first developed in https://github.com/Soonad
file extensions for formality include fm

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout