Browse Source

gay :)

master
depsterr 8 months ago
parent
commit
f3a9dab1e6
  1. 3
      readme.md

3
readme.md

@ -61,7 +61,8 @@
(𝔽 𝕋)))
-- Data declerations are done as follows
(data 𝔹 ((𝕋) (𝔽)))
(data 𝔹 ([𝔹]𝕋)
([𝔹]𝔽))
-- A more complex example is the List type. Here the initial (List A) binds the type variable
-- A which is then used when defining the constructors. The constructors are defined using

Loading…
Cancel
Save