Ecency
#programming
String and more REPL commands / Idris 5

String and more REPL commands / Idris 5

qed(48)

Published in

#programming

Words

Reading

0 min

Listen

Play

2017-07-20 11:42

Hello guys,

in this episode of my Idris series, I'll finish up with using the most basic features of the REPL and one of the most interesting type.

In the upcoming video, I'll go more into function types.

I've not gotten much feedback on steemit regarding this series - I'd be interested in your experiences, thoughts and questions regarding and dependent types in particular.

Languages in that category are Idris, Agda, Coq, F* or Lean, the last two being Microsoft projects.

Take care
@qed

programming

steemdev

tutorial

2017-07-20 11:42

This post was published via steemit. Ecency is not the originator or editor of this content and displays it for discovery purposes only.

$ 1.636

From @qed

"The limit x to c of (c^n-x^n)/(c-x)" : YSBATST 2qed · 8 years ago

2 * 1.5 * 1.33333333 * 1.25 = 5 : YSBATST 1qed · 8 years ago

web-apps and dapps explained / NEO 8qed · 9 years ago

Installing the developer graphical user interface and invoking smart contracts / NEO 3qed · 9 years ago

In #programming

Learn Creative Coding (#147) - Space-Filling Curvesfemdev · 4 minutes ago

Learn AI Series (#151) - Mini Project: Building Something That Mattersscipio · 5 hours ago

Learn Zig Series (#131) - Lexing a Simple Languagescipio · 19 hours ago

Learn Rust Series (#20) - Drop & Deterministic Destruction (RAII)

String and more REPL commands / Idris 5 | Ecency