typed
From MaRDI portal
Software:71722
CRANtypedMaRDI QIDQ71722FDOQ71722
Support Types for Variables, Arguments, and Return Values
Last update: 19 March 2021
Copyright license: GNU General Public License, version 3.0
Software version identifier: 0.0.1
Cited In (1)
This page was built for software: typed
