|
cedille
☆
« Back to VersTracker
|
|||||||||||||||
|
Description: Language based on the Calculus of Dependent Lambda Eliminations |
|||||||||||||||
| Type: Formula | Tracked Since: Feb 13, 2023 | |||||||||||||||
| Links: Homepage | formulae.brew.sh | |||||||||||||||
| Install: brew install cedille | |||||||||||||||
| Version History | |||||||||||||||
|