Writing a small program with input and output in the Lean functional programming language

Writing a small program with input and output in the Lean functional programming language
Share:

Download MP3


Similar Tracks

Advent of Code 2024: Solving Day 1 with Elixir and ChatGPT! 🚀 #Elixir #ChatGPT Elixir, Erlang and the BEAM with Adolfo Neto
Creating Your Own Programming Language - Computerphile Computerphile
Lean4 and the Curry-Howard Isomorphism (Luis Wirth) ZUCCMAP
An introduction to Lean 4, a functional programming language Elixir, Erlang and the BEAM with Adolfo Neto
This AI Explains ANY Codebase in 5 Minutes - Here is How I Built it Zachary Huang
Take K of Each Character From Left and Right | Leetcode 2516 Techdose
50 Classical Music Masterpieces for Relaxation & the Soul | Beethoven, Mozart, Chopin, Bach, Vivaldi Classical Stars
Evolve your Developer Abilities with Elixir (Graphic recording by Carlo Gilmar) Elixir, Erlang and the BEAM with Adolfo Neto
Callback Functions in JS ft. Event Listeners 🔥| Namaste JavaScript Ep. 14 Akshay Saini
Transformers (how LLMs work) explained visually | DL5 3Blue1Brown
The Different Levels of Writing Code Kantan Coding
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon) Racket
How Senior Programmers ACTUALLY Write Code Thriving Technologist
Lean Again Elixir, Erlang and the BEAM with Adolfo Neto
Explaining the Trump Tariff Equation Stand-up Maths
Eliminates All Negative Energy, Tibetan Healing Flute, Increases Mental Strength ★2 Inner Peace and Meditation
Coding Adventure: Chess Sebastian Lague
Did Vibe Coding Kill Software Engineering... Tech With Tim
How to Make Beautiful Code Presentations code_report
Learn CSS in 20 Minutes Web Dev Simplified