- Date Created
- 2023-02-16 07:25:09
- Last Updated
- 2023-02-16 07:25:09
- UUID
- f38b0fa9-4214-49fc-a014-ccaeada9446e
Title Update Infos: Introduction to Dependent Types with Idris
- Package Update Info
- Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International
- Description
- New Title 'Introduction to Dependent Types with Idris'
- Status
- Successful
- Type
- New Title
- Start Time
- 2023-02-16
- End Time
- 2023-02-16
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty