Discussion
Loading...

#Tag

  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Joseph Nuthalapati :fbx: boosted
Samuel Chase
@samebchase@fantastic.earth  路  activity timestamp 2 weeks ago

The #idris2 tutorial book requires #rakulang 馃 in the build process!

https://github.com/idris-community/idris2-tutorial?tab=readme-ov-file#raku-dependencies

This is the program: https://github.com/idris-community/idris2-tutorial/blob/main/scripts/build-book

The code:
1. Is well commented and readable.
2. Uses Raku's parallelism features.
3. Uses Raku's next-gen regexes.
4. Runs command line programs, collects the output.

Cool stuff! 馃槑

What's your favourite unexpected/serendipitous usage of Raku in the wild?

GitHub

idris2-tutorial/scripts/build-book at main 路 idris-community/idris2-tutorial

A comprehensive tutorial for the Idris2 programming language - idris-community/idris2-tutorial
GitHub

GitHub - idris-community/idris2-tutorial: A comprehensive tutorial for the Idris2 programming language

A comprehensive tutorial for the Idris2 programming language - idris-community/idris2-tutorial
  • Copy link
  • Flag this post
  • Block
Samuel Chase
@samebchase@fantastic.earth  路  activity timestamp 2 weeks ago

The #idris2 tutorial book requires #rakulang 馃 in the build process!

https://github.com/idris-community/idris2-tutorial?tab=readme-ov-file#raku-dependencies

This is the program: https://github.com/idris-community/idris2-tutorial/blob/main/scripts/build-book

The code:
1. Is well commented and readable.
2. Uses Raku's parallelism features.
3. Uses Raku's next-gen regexes.
4. Runs command line programs, collects the output.

Cool stuff! 馃槑

What's your favourite unexpected/serendipitous usage of Raku in the wild?

GitHub

idris2-tutorial/scripts/build-book at main 路 idris-community/idris2-tutorial

A comprehensive tutorial for the Idris2 programming language - idris-community/idris2-tutorial
GitHub

GitHub - idris-community/idris2-tutorial: A comprehensive tutorial for the Idris2 programming language

A comprehensive tutorial for the Idris2 programming language - idris-community/idris2-tutorial
  • Copy link
  • Flag this post
  • Block
Log in

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About 路 Code of conduct 路 Privacy 路 Users 路 Instances
Bonfire social 路 1.0.0 no JS en
Automatic federation enabled
  • Explore
  • About
  • Members
  • Code of Conduct
Home
Login