source:
content/digarden/20210428015127-edwin_brady.org@
5a2b670
| Last change on this file since 5a2b670 was 5a2b670, checked in by , on Oct 6, 2022 at 12:37:40 PM | |
|---|---|
|
|
| File size: 170 bytes | |
| Line | |
|---|---|
| 1 | :PROPERTIES: |
| 2 | :ID: 3afaf500-d778-4e8a-93b5-3253eecb87a2 |
| 3 | :END: |
| 4 | #+title: Edwin Brady |
| 5 | Создатель языка [[id:2f0a8624-cbf4-4b9a-a8dc-5ed64c8edc69][Idris]]. |
Note:
See TracBrowser
for help on using the repository browser.
