source:
content/digarden/pages/20210428015127-edwin_brady.org@
972a737
Last change on this file since 972a737 was 972a737, checked in by , on Apr 16, 2023 at 5:54:55 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.