Not logged in. · Lost password · Register

Jazzpirate
Member since Oct 2016
817 posts
Subject: Record Types Example
theory RecordTest : http://mathhub.info/MitM/Foundation?Logic =
    value : type ❙
    empty : value ❙
    X : value ❙
    O : value ❙
    state : type ❘ = {'
        Faa : value ,
        Fab : value ,
        Fac : value
    '} ❙
    s : state ❘ = ['
        Faa := empty ,
        Fab := X ,
        Fac := O
    '] ❙
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen