| ▲ | gr_norm 2 hours ago | |
Lean is the dependently typed language with a SotA metaprogramming system. Lean itself is a language written using this system. | ||
| ▲ | hargup an hour ago | parent [-] | |
+1 | ||
| ▲ | gr_norm 2 hours ago | |
Lean is the dependently typed language with a SotA metaprogramming system. Lean itself is a language written using this system. | ||
| ▲ | hargup an hour ago | parent [-] | |
+1 | ||