Definitions from Wikipedia (PlusCal)
▸ noun: (formerly called +CAL) a formal specification language created by Leslie Lamport, which transpiles to TLA+.
▸ Words similar to pluscal
▸ Usage examples for pluscal
▸ Idioms related to pluscal
▸ Wikipedia articles (New!)
▸ Popular adjectives describing pluscal
▸ Words that often appear near pluscal
▸ Rhymes of pluscal
▸ Invented words related to pluscal
▸ noun: (formerly called +CAL) a formal specification language created by Leslie Lamport, which transpiles to TLA+.
▸ Words similar to pluscal
▸ Usage examples for pluscal
▸ Idioms related to pluscal
▸ Wikipedia articles (New!)
▸ Popular adjectives describing pluscal
▸ Words that often appear near pluscal
▸ Rhymes of pluscal
▸ Invented words related to pluscal