blob: 88645d7ac95b5b4e9b6610703d67e1d9d3237b77 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(.module:
[library
[lux
["$" documentation (#+ documentation:)]
[data
[text (#+ \n)
["%" format (#+ format)]]]]]
[\\library
["." /]])
(documentation: (/.Equivalence it)
"Equivalence for a type's instances.")
(documentation: /.rec
"A recursive equivalence combinator."
[(rec recursive_equivalence)])
(.def: .public documentation
(.List $.Module)
($.module /._
""
[..Equivalence
..rec
($.default /.functor)]
[]))
|
