thatonelutenist/website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

First post

Browse source
This commit is contained in:
Nathan McCarty 2025-02-05 05:59:34 -05:00
parent 53c0c6a9d6
commit 4c3e514a14
8 changed files with 152 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

15
projects/Idris/src/Posts/HelloWorld.md
View file

@ -8,11 +8,16 @@ module Posts.HelloWorld
Here is an example function that prints to the standard out:
function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict
function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict
function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict
function debug null byte compile syntax error protocol stack overflow cache
memory leak parse integer void pointer exception handler runtime deploy code
fragment database query optimize algorithm refactor git commit push merge
conflict function debug null byte compile syntax error protocol stack overflow
cache memory leak parse integer void pointer exception handler runtime deploy
code fragment database query optimize algorithm refactor git commit push merge
conflict function debug null byte compile syntax error protocol stack overflow
cache memory leak parse integer void pointer exception handler runtime deploy
code fragment database query optimize algorithm refactor git commit push merge
conflict
```idris
main : IO ()