jbovlaste
a lojban dictionary editing system
User:
Pass:

- Home
- Get A Printable Dictionary
- Search Best Words
- Recent Changes
- How You Can Help
- valsi - All
- valsi - Preferred Only
- natlang - All
- natlang - Preferred Only
- Languages
- XML Export
- user Listing
- Report Bugs
- Utilities
- Status
- Help
- Admin Request
- Create Account
Dictionary record
Back to the main valsi listing.
valsi fa'au
type experimental cmavo
creator krtisfranks
time entered Mon Aug 4 20:23:04 2014

Examples
   
English
Definition #57187 - Preferred [edit]
   
selma'o VUhU
definition mathematical unary operator: map notation
notes Input is unary: a function f; the output is an ordered tuple: (the domain set of f, the codomain set of f, the image of f, the mapping rule of f (defined with a dummy variable which is taken to belong to the the domain set of f), the graph/plot (set of input-output pairs) of f). Might be useful for lambda calculus, etc. Equip the output with ma'o in order to use as a/the function. Extract a term in the tuple in order to use it directly.
gloss words
created by krtisfranks
vote information 1
time Mon Aug 4 20:23:04 2014

Examples
Etymology
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.
  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions. 		care to log in?