From d1fed7d9d12c16f66d8631c78fbdb9eb400624d3 Mon Sep 17 00:00:00 2001 From: Beat Hagenlocher Date: Sat, 7 Jun 2025 21:11:28 +0200 Subject: [PATCH] Add prompt signs in accordance to the intro --- text/chapter3.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/text/chapter3.md b/text/chapter3.md index 4e4a4a9c..618301bf 100644 --- a/text/chapter3.md +++ b/text/chapter3.md @@ -267,7 +267,7 @@ For illustration purposes, let's define a primitive function that takes any two > Note that if you use `:type` to ask about the type of `constantlyFirst`, it will be more verbose: > > ```text -> : type constantlyFirst +> > :type constantlyFirst > forall (a :: Type) (b :: Type). a -> b -> a > ``` > @@ -292,10 +292,10 @@ We don't have to indicate in code that we want to specialize a quantified type While we can choose any types for `a` and `b`, the return type of `constantlyFirst` has to be the same as the type of the first argument (because both of them are "tied" to the same `a`): ```text -:type constantlyFirst true "ignored" +> :type constantlyFirst true "ignored" Boolean -:type constantlyFirst "keep" 3 +> :type constantlyFirst "keep" 3 String ```