Normal view
MARC view
Idris (Computer program language) (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA)358189: Brady, Edwin, author. 972485, Type-driven development with Idris /