This website requires JavaScript.
Explore
Help
Sign In
xenchel
/
templates
Watch
2
Star
0
Fork
You've already forked templates
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
c81a4a68ff
templates
/
idris2
/
src
/
Main.idr
5 lines
49 B
Idris
Raw
Blame
History
module
Main
main
:
IO
()
main
=
putStrLn
"
mjau
"
Reference in New Issue
View Git Blame
Copy Permalink
Mastodon