Trèves
Trèves may refer to:
- The French name of the city of Trier, in Germany
- François Trèves (born 1930), a French-American mathematician
France
Trèves is the name or part of the name of several communes in France:
- Trèves, in the Rhône department
- Trèves, in the Gard department
- Trèves, former commune of the Maine-et-Loire department, now part of Chênehutte-Trèves-Cunault
- Chênehutte-Trèves-Cunault, in the Maine-et-Loire department
- Saint-Laurent-de-Trèves, in the Lozère department
gollark: It's a monoid in the category of endofunctors.
gollark: Yes, that's right, I KNOW APPROXIMATELY HOW A STATE MONAD WORKS.
gollark: ```haskelldoThing :: Expr -> (M.Map Int IVal, Int)doThing expr = evalState (go expr) 0 where go :: Expr -> State Int (M.Map Int IVal, Int) go (Int x) = do vcount <- update (+1) pure (M.singleton vcount (Lit x), vcount) go (Op o a b) = do (m1, c1) <- go a (m2, c2) <- go b let prev = M.union m1 m2 nxt <- update (+1) pure (M.insert nxt (ROp o c1 c2) prev, nxt)```↑ thusly, none are safe
gollark: This is ³ apioform, my youtube-dl from mere *days* ago isn't working.
gollark: Oh, that conversation was in <#800374627897442335>, right.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.